Really light and simple micro-kernel for Raspberry Pi.