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