Re: [seL4] ARM timer driver and interrupts

2017-02-28 Thread Wladislav Wiebe
>hw->intctlstat 0x3 >>> >>> .. >>> >>> keystone_handle_irq: 177: kt->hw->intctlstat current status 0x3 >>> >>> (called manually by sel4_timer_handle_single_irq) >>> >>> keystone_handle_irq: 1

Re: [seL4] ARM timer driver and interrupts

2017-02-21 Thread Alexander.Kroh
> From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Wladislav Wiebe > Sent: Wednesday, 22 February 2017 10:05 AM > To: devel@sel4.systems > Subject: [seL4] ARM timer driver and interrupts > > Hello, > > I wrote a new timer driver for this timer device: &g