diff -r 927b30e32709 -r 6227df6bbb79 config/kernel/bare-metal.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/kernel/bare-metal.in	Mon Sep 29 20:19:45 2008 +0000
@@ -0,0 +1,12 @@
+# Bare metal config options
+# EXPERIMENTAL
+
+config KERNEL_bare_metal
+    select BARE_METAL
+    help
+      'Bare metal' refers to those programs that run without any kernel.
+      
+      You probably want to say 'y' here if you plan to use your compiler
+      to build bootloaders. It is not yet suitable to build Linux kernels,
+      though, because the APCI stuff relies on the target C library headers
+      being available?!?!...