Hello, I wonder if the generic timer https://github.com/seL4/util_libs/blob/master/libplatsupport/src/arch/arm/generic_timer.c#L89 can be extended by timer->periodic timer->handle_irq to be able to run the sel4 testsuite which requires timer IRQ's such as https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/interrupt.c
Right now I am able to get timer_get_time(env->timer->timer); by using the generic timer, but I am missing the periodic time and the irq handler for the Coretex A15 generic timer implementation. Some ideas if there is some tricky way to get it running? Thanks in advance! - Wladislav Wiebe _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
