Re: [seL4] ARM timer driver and interrupts