linux is an operating system. those files are isos. you burn an iso to a cd (its called a cd image) and then that CD is an installation disc. (just like one you would buy from windows, or that comes with a "new computer") thats how you can send operating systems and such over the internet
and It doesnt really matter what operating system hes using, you can download those with any