1.1 --- a/config/kernel.in	Wed Sep 10 21:40:23 2008 +0000
     1.2 +++ b/config/kernel.in	Sun Sep 14 16:21:07 2008 +0000
     1.3 @@ -1,11 +1,16 @@
     1.4  # Kernel options
     1.5  
     1.6 -menu "Kernel"
     1.7 +
     1.8  
     1.9  config KERNEL
    1.10      string
    1.11 +    default "none"  if BARE_METAL
    1.12      default "linux" if KERNEL_LINUX
    1.13  
    1.14 +if ! BARE_METAL
    1.15 +
    1.16 +menu "Kernel"
    1.17 +
    1.18  choice
    1.19      bool
    1.20      prompt "Target OS"
    1.21 @@ -27,3 +32,5 @@
    1.22  endif
    1.23  
    1.24  endmenu
    1.25 +
    1.26 +endif # ! BARE_METAL