VarkOS - A bare metal implementation of a custom OS kernel, targeted at the RaspberryPi board. This project serves a test bed for experimentation with the ARM architecture, in order to become acquainted with the low level operation of the processor.