Tip: Getting Your Linux Kernel Source
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 command will work to get the source for any binary package when available.