A small kernel for the Raspberry Pi