- Runs on qemu-system-arm -machine xilinx-zynq-a9
- UART working
- Reset working (used to shutdown qemu -no-reboot)
- Dispatcher working
- Private Timer fires interrupt
- Alarms fire and dispatch
- Interrupts

Change-Id: I492baf9a648737bb613b342fc046643e8f7df769