search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4simple-default,riscv: implement irq_trigger #78

Open canarysnort01 opened 10 months ago

canarysnort01 commented 10 months ago

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

Ivan-Velickovic commented 10 months ago

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 (i.velickovic@unsw.edu.au) 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 commented 3 weeks ago

Can this be merged?