Linux kernel source tree, optimized for Canaima, Huayra, and Android.