A kernel and OS for the Raspberry Pi