exact kernel sources

Wim Torfs wim.torfs at uantwerpen.be
Tue Sep 13 12:45:28 UTC 2016


Dear maintainers,

I have been asked to modify some kernel modules of a specific kernel, 
installed default with Ubuntu 14.04.2, that is, 3.13.0-33-generic.

If I download the kernel through apt-get source 3.13.0-33-generic, then 
the kernel release is 3.13.11-ckt39, not as one would expect 
3.13.0-33-generic.

Could you please help me getting the exact same kernel source, used for 
building the linux-image-3.13.0-33-generic package by means of the 
config file, located in the /boot section.

Thanks,

Kind regards,
Wim Torfs.




More information about the Ubuntu-devel-discuss mailing list