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

Fix #203

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

..

hw

Move Exynos 5 SoC series from genode repo

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