diff -r af75fc1fe0fc -r ef8549b58b6f config/kernel.in
--- a/config/kernel.in	Wed Sep 10 21:40:23 2008 +0000
+++ b/config/kernel.in	Sun Sep 14 16:21:07 2008 +0000
@@ -1,11 +1,16 @@
 # Kernel options
 
-menu "Kernel"
+
 
 config KERNEL
     string
+    default "none"  if BARE_METAL
     default "linux" if KERNEL_LINUX
 
+if ! BARE_METAL
+
+menu "Kernel"
+
 choice
     bool
     prompt "Target OS"
@@ -27,3 +32,5 @@
 endif
 
 endmenu
+
+endif # ! BARE_METAL