How many of you out there have a custom kernel flashed right now? I do too, right now I have Lean kernel running on my Galaxy Nexus. So where do developers download the source code for these kernels? Well sometimes it can be hard to find. Luckily, those genius developers over at XDA have put together a list of OEM's and links to download source code.
XDA Senior Member shimp208 has created a thread over on XDA's forums providing links to almost every OEM's website where you can download kernel source. Let's allow shimp208 to explain:
I see a lot of people asking how to start make custom kernels (This is well beyond the scope of this guide, for a great introduction check out Building Your First Kernel), or I want to port CM, AOKP, AOSP, etc. to my device. Well that great except you can't begin to make a custom kernel or truly port CM, AOKP, AOSP, etc. without the appropriate kernel source code for your device. The following list tells you where you can find the kernel source code (Among other bits and pieces of code essential to development) for your device based on your manufacturer, as well as some other places to look for kernel sources.
Most links include kernel source along with various other files that can be useful for things other than kernel building. Now as we know, the OEMs won't release kernel source for every device. So most likely if it's not listed in the original thread, then it hasn't been released yet.
Anybody out there want to try their hands at building a custom kernel? It's always good to have a few more kernels to play around with when flashing new ROMs. We know I'm constantly flashing new ROMs, and use a different kernel almost every time.