seL4/include/drivers
Anna Lyons 82d0485911 arm: priv_timer -> include/drivers/timer/arm_priv
update 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: priv_timer -> include/drivers/timer/arm_priv 2019-04-12 14:25:58 +10:00