Android Kernel Build
How to build an Android kernel.
The Android build system may or may not automatically rebuild a kernel for you.
This page documents how to build an Android kernel, independent of the regular Android "distribution" build system.
[FIXTHIS - nothing here yet.]