Misc low-level Raspberry Pi code, such as memory-mapped I/O, timers, enable/disable interrupts, etc.