A tiny baremetal OS for the Raspberry Pi 3. - View it on GitHub