seL4/include/drivers
JorgeMVP b544529615 generc_timer: enable only once for mcs/non-mcs
Enable the timer only at initialization and since it is always
enabled. It is not needed to be re-enabled.

Signed-off-by: JorgeMVP <jorgepereira89@gmail.com>
2023-05-25 20:42:02 +10:00
..
irq rocketchip-zcu102: use plic0 2023-02-22 09:35:14 +11:00
smmu trivial: style and comment 2020-10-28 17:30:42 +11:00
timer generc_timer: enable only once for mcs/non-mcs 2023-05-25 20:42:02 +10:00
uart.h debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00