diff -r 000000000000 -r 5506fbbad59b config/kernel/bare-metal.experimental.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/kernel/bare-metal.experimental.in	Tue Sep 16 17:39:40 2008 +0000
@@ -0,0 +1,15 @@
+# Bare metal config options
+
+config KERNEL_bare_metal
+    select BARE_METAL
+    help
+      Say 'y' here if you want a simple C compiler with no C library.
+      
+      'Bare metal' also refer to those programs that run without any kernel.
+      
+      You probably want to say 'y' here if you plan to use your compiler
+      to build only kernels or bootloaders.
+
+config BARE_METAL
+    bool
+    default n