LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - General (https://www.linuxquestions.org/questions/linux-general-1/)
-   -   Distributing Linux Kernel binaries (https://www.linuxquestions.org/questions/linux-general-1/distributing-linux-kernel-binaries-4175470264/)

msxenix 07-19-2013 09:05 PM

Distributing Linux Kernel binaries
 
I run a small tech blog, and wish to provide visitors of the site with the option of downloading a pre-compiled deb files of linux-kernel of the latest stable kernel in x86,amd64, and ppc formats.

What are the requirements as far as the GPL is concerned. Do I need to host the actual source code online, or can I just point users to the source code on kernel.org?

Thanks

malekmustaq 07-19-2013 09:59 PM

You can do both, provided, GPL terms are kept and in order.
Relevant provisions of the license may be viewed here.

Good luck.

273 07-20-2013 08:25 AM

This isn't legal advice but I'd be tempted to just point to kernel.org and host your .config files yourself. That way you've both documented to your users what you have compiled into the kernel and you are providing access to the source.
As I understand it legally you don't have to provide the source at all unless somebody requests it so I think a link to kernel.org will be more than sufficient. As far as I know you could even offer to send the source out on CD for a small handling fee if you wanted and that would be compliant with the GPL conditions.

msxenix 07-20-2013 09:16 PM

Ok thanks to both of you for the information. It's much appreciated.


All times are GMT -5. The time now is 12:32 AM.