diff -r 5506fbbad59b -r c444ce4b51b9 config/kernel.in
--- a/config/kernel.in	Tue Sep 16 17:39:40 2008 +0000
+++ b/config/kernel.in	Wed Oct 01 18:10:40 2008 +0000
@@ -2,6 +2,12 @@
 
 menu "Operating System"
 
+# Config option used throughout the config and code to determine wether
+# we hace a kernel or not (there might be different bare metal stuff...
+config BARE_METAL
+    bool
+    default n
+
 config KERNEL
     string