Johannes Schlatow 4d0cb175da base-hw: use global timer on Cortex A9 ... genodelabs/genode#4360		2023-02-27 08:20:45 +01:00
..
defs	base-hw: use global timer on Cortex A9	2023-02-27 08:20:45 +01:00
platform	hw: irq controller and timer improvements for Rpi	2022-01-19 12:38:12 +01:00
timer	base: fix timer_ticks_to_us casting error	2019-02-19 11:12:11 +01:00
uart	hw: remove rpi1/3 board support	2022-01-19 12:38:12 +01:00