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.