seL4/include/drivers
Anna Lyons 4db4a3b882 kzm: implement MCS timer driver
- use gpt, so we can have overflow and compare interrupts at the same
time (epit only allows compare)
- set the gpt to use the ipg_highfreq timer, as the standard ipg is too
low and breaks the timer calculations
2019-08-22 11:22:35 +10:00
..
irq RISCV: Add Hifive unleashed platform 2019-06-26 15:11:47 +10:00
timer kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00