1.1 --- a/config/kernel.in	Tue Sep 16 17:39:40 2008 +0000
     1.2 +++ b/config/kernel.in	Sun Sep 28 21:31:13 2008 +0000
     1.3 @@ -2,6 +2,12 @@
     1.4  
     1.5  menu "Operating System"
     1.6  
     1.7 +# Config option used throughout the config and code to determine wether
     1.8 +# we hace a kernel or not (there might be different bare metal stuff...
     1.9 +config BARE_METAL
    1.10 +    bool
    1.11 +    default n
    1.12 +
    1.13  config KERNEL
    1.14      string
    1.15