Implements the ARM Control Local Timer in qemu - View it on GitHub