diff -r ef8549b58b6f -r f347a40db591 config/kernel.in
--- a/config/kernel.in	Sun Sep 14 16:21:07 2008 +0000
+++ b/config/kernel.in	Mon Sep 15 09:43:35 2008 +0000
@@ -1,15 +1,11 @@
 # Kernel options
 
-
-
 config KERNEL
     string
     default "none"  if BARE_METAL
     default "linux" if KERNEL_LINUX
 
-if ! BARE_METAL
-
-menu "Kernel"
+menu "Target OS"
 
 choice
     bool
@@ -18,10 +14,22 @@
 
 config KERNEL_LINUX
     bool
-    prompt "linux"
+    prompt "Linux"
     help
       Build a toolchain targeting systems running Linux as a kernel.
 
+config BARE_METAL
+    bool
+    prompt "Bare metal (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+    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
+
 endchoice
 
 config KERNEL_VERSION
@@ -32,5 +40,3 @@
 endif
 
 endmenu
-
-endif # ! BARE_METAL