Bare Metal ARM OS for raspberry pi