A simple OS for RaspberryPi