Kees Jongenburger aa94c9ed55 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-17 11:32:38 +01:00
2013-08-20 11:37:40 +02:00
2013-11-12 06:18:01 -05:00
2013-08-21 13:53:39 +02:00
2013-10-29 15:18:45 -04:00
2013-10-17 08:40:33 -04:00
2013-09-01 12:59:37 +00:00
2013-10-14 18:06:05 -04:00
2013-11-28 13:31:37 +00:00
2013-11-12 10:15:47 -05:00
2013-11-19 07:26:37 -05:00
2010-01-21 10:16:05 +00:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%