OS-Kernel for the RaspBerryPi