My experimental bare metal OS for the raspberry pi