Debug monitor for Raspberry Pi (Running on ARM bare metal)