Stefan Kalkowski 6bd7f167a4 hw: remove rpi1/3 board support ... The code moved to https://github.com/skalk/genode-rpi Ref #4363		2022-01-19 12:38:12 +01:00
..
defs	imx8q_evk: remove board support from repository	2021-11-29 15:10:51 +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