[CentOS] CentOS Kernel Support

Thu Jun 14 15:12:30 UTC 2018
Valeri Galtsev <galtsev at kicp.uchicago.edu>

On 06/14/18 10:00, Peter Kjellström wrote:
> On Thu, 14 Jun 2018 16:26:27 +0200
> Gianluca Cecchi <gianluca.cecchi at gmail.com> wrote:
> ...
>>>> The src.rpm for that kernel is probably available somewhere.
>>> I'm fairly certain you cannot download the SRPM for EUS kernels.
>>> You might if you're a Red Hat customer paying for that product (but
>>> don't take my word for it).
> ...
>> I agree for the format of release (SRPM), but in any case Red Hat
>> should provide the sources for the changes, as the kernel is GPL-2.0
>> Then one can manually try to merge them in a patched kernel in some
>> way... Gianluca
> Redhat of course complies with the GPL and provide source to the
> customers that get access to the binary packages. They are not required
> to provide the sources to anyone else.

GPL requires to provide source if everything derived from the original 
source to everybody, not only to customers. And RedHat was ever 
compliant with GPL. Kudos to RedHat! So, if there exist patched kernels 
of out of support life, they should be downloadable somewhere somehow.

On the other hand, I will not raise any issue about source of these 
patched ancient kernels, as my sympathy as human is on RedHat's side: I 
know how much work that is, and programmers who do that have to feed 
their families. (This is why BSD style license which is different from 
GPL in this respect does make sense either).


> /Peter
> _______________________________________________
> CentOS mailing list
> CentOS at centos.org
> https://lists.centos.org/mailman/listinfo/centos

Valeri Galtsev
Sr System Administrator
Department of Astronomy and Astrophysics
Kavli Institute for Cosmological Physics
University of Chicago
Phone: 773-702-4247