In Android, the Linux kernel is used. In Fuchsia, the kernel is a new bit of code called Zircon . There are different ways to build a kernel, but usually smaller and faster is better. Zircon is based on LK (Little Kernel) which was a real-time kernel for embedded devices written by Travis Geiselbrecht.