PI OS I've been following the PI OS tutorial at: https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/index.html