genode/repos/base-hw/lib/mk/exynos5
2014-08-15 10:19:48 +02:00
..
core.inc hw: rename processor CPU 2014-08-15 10:19:48 +02:00