seL4/include/drivers
Anna Lyons 391b717d1d arm: generic_timer -> drivers/timer/arm_generic
- move generic_timer.h to drivers/timer/arm_generic.h
- update all configs that use it.
2019-04-12 14:25:58 +10:00
..
irq omap3: use declare_default_headers 2019-04-12 14:25:58 +10:00
timer arm: generic_timer -> drivers/timer/arm_generic 2019-04-12 14:25:58 +10:00