minix/kernel/arch
Kees Jongenburger c63ffec40f kernel:pending changes dynamic configuration.
Change-Id: I0f0ef014e5f341ad5df8c048863c8e5032b80950
2013-12-02 10:26:58 +01:00
..
earm kernel:pending changes dynamic configuration. 2013-12-02 10:26:58 +01:00
i386 kernel:export board to userland. 2013-12-02 10:26:58 +01:00