If you’re ever using a Linux environment and need the source for your kernel version, simply use apt-get and run the following:
apt-get source linux-image-$(uname -r)This command will download the kernel source into the current directory.
The apt-get source<code> command will work to get the source for any binary package when available.
<code>