1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/kernel/bare-metal.in Wed Oct 29 12:19:34 2008 +0000
1.3 @@ -0,0 +1,12 @@
1.4 +# Bare metal config options
1.5 +# EXPERIMENTAL
1.6 +
1.7 +config KERNEL_bare_metal
1.8 + select BARE_METAL
1.9 + help
1.10 + 'Bare metal' refers to those programs that run without any kernel.
1.11 +
1.12 + You probably want to say 'y' here if you plan to use your compiler
1.13 + to build bootloaders. It is not yet suitable to build Linux kernels,
1.14 + though, because the APCI stuff relies on the target C library headers
1.15 + being available?!?!...