Begin raspberry pi bare metal port.
Merge branch 'master' of https://github.com/ckormanyos/real-time-cpp