Source for kernel

Hi, it'd be nice if you guys would provide the source code for your linux kernel, so others can maintain it, if this goes inactive. As per GPL (the license linux uses), you're required to disclose the source, provide the license and copyright notice, and have documentation on the changes you've done.