A bare metal kernel for the Raspberry Pi, written in C.