14 Jun
2018
14 Jun
'18
3 p.m.
On Thu, 14 Jun 2018 16:26:27 +0200 Gianluca Cecchi gianluca.cecchi@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