seL4_libs icon indicating copy to clipboard operation
seL4_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4simple-default,riscv: implement irq_trigger

Open canarysnort01 opened this issue 1 year ago • 2 comments

Wire up simple->irq_trigger to seL4_IRQControl_GetTrigger on risc-v. This allows risc-v drivers in libplatsupport to register edge-triggered interrupts.

Purpose: Ready to merge Context: Needed for the star64 timer driver that will be in libplatsupport Testing performed: Tested on a WIP version of sel4test for the star64 platform on pinetab-v hardware

canarysnort01 avatar Aug 18 '23 07:08 canarysnort01

Hey @canarysnort01, I've been stuck on this timer driver for a while as I could not get it enabled. I revisited it briefly last week and managed to patch U-Boot such that it turns on the timers and now getting the time works. I haven't spent much time on it since, feel free to email me ([email protected]) if you want to take over the driver and get it fully working and I can tell you the status of it.

U-Boot patch is here by the way https://github.com/Ivan-Velickovic/u-boot/commit/f524a32bbef8c81c4ae14f46ec9b8026145aa0ee.

Ivan-Velickovic avatar Aug 18 '23 07:08 Ivan-Velickovic

Can this be merged?

Ivan-Velickovic avatar Jun 11 '24 09:06 Ivan-Velickovic