Hey, First I'd check if the kernel is getting the interrupts in the kernel from this timer - you can put a printf in handleInterrupt in the kernel to see if this is the case and see if the correct interrupt number comes in.
If so, then check if those irqs are being sent to the signal handler and not reserved (again by printing / asserting in handle interrupt). If not, this points to a problem with your driver. Hope this pushes you in the right direction, Anna. -----Original Message----- From: Devel [mailto:[email protected]] On Behalf Of Wladislav Wiebe Sent: Wednesday, 22 February 2017 10:05 AM To: [email protected] Subject: [seL4] ARM timer driver and interrupts Hello, I wrote a new timer driver for this timer device: http://www.ti.com/lit/ug/sprugv5a/sprugv5a.pdf I am already able to run the seL4 testsuite successfully, except the interrupt/timer tests. It waits forever @ wait_for_timer_interrupt(env); I've uploaded the driver temporary to: https://github.com/wwladikw/devel/blob/master/timer.c Any idea what could be wrong? I am able to run the timer periodically or as oneshot. The gic_390 interrupt driver in the kernel should also be compatible with the gic_400, for my understanding, right? The SoC I am using contains a Coretex A15. Thanks a lot in advance! Wladislav Wiebe _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
