minix/kernel/arch
Kees Jongenburger 37fac0efca arm:switch to dynamic configuration for the kernel.
During startup machine.board_id is now determined. The kernel can now
at runtime determine how to configure itself and does so.

Change-Id: I4f615af9bfa5add219e618b911a51af127591d6a
2013-12-14 20:48:35 +01:00
..
earm arm:switch to dynamic configuration for the kernel. 2013-12-14 20:48:35 +01:00
i386 arm:determine board_id using bootargs.board_name 2013-12-13 14:00:06 +01:00