Stefan Kalkowski 9c7df24e20 Move Exynos 5 SoC series from genode repo ...

Fix #203

2020-04-24 14:40:54 +02:00

..

exynos5/regulator

Move Exynos 5 SoC series from genode repo

2020-04-24 14:40:54 +02:00

x86_64/world

Utility for using the RDRAND instruction

2019-02-12 10:23:08 +01:00

zynq/drivers

zynq: add i2c driver

2017-03-16 16:41:33 +01:00