On 06/14/2018 08:00 AM, 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. > > /Peter Yes that's why I said somewhere. At least in the past there have been people who made their own mirrors of RHEL exclusive source packages (which the GPL allows). I don't know who does now, but someone somewhere probably does.