1.1 --- a/config/kernel.in	Sun Sep 14 16:21:07 2008 +0000
     1.2 +++ b/config/kernel.in	Mon Sep 15 09:43:35 2008 +0000
     1.3 @@ -1,15 +1,11 @@
     1.4  # Kernel options
     1.5  
     1.6 -
     1.7 -
     1.8  config KERNEL
     1.9      string
    1.10      default "none"  if BARE_METAL
    1.11      default "linux" if KERNEL_LINUX
    1.12  
    1.13 -if ! BARE_METAL
    1.14 -
    1.15 -menu "Kernel"
    1.16 +menu "Target OS"
    1.17  
    1.18  choice
    1.19      bool
    1.20 @@ -18,10 +14,22 @@
    1.21  
    1.22  config KERNEL_LINUX
    1.23      bool
    1.24 -    prompt "linux"
    1.25 +    prompt "Linux"
    1.26      help
    1.27        Build a toolchain targeting systems running Linux as a kernel.
    1.28  
    1.29 +config BARE_METAL
    1.30 +    bool
    1.31 +    prompt "Bare metal (EXPERIMENTAL)"
    1.32 +    depends on EXPERIMENTAL
    1.33 +    help
    1.34 +      Say 'y' here if you want a simple C compiler with no C library.
    1.35 +      
    1.36 +      'Bare metal' also refer to those programs that run without any kernel.
    1.37 +      
    1.38 +      You probably want to say 'y' here if you plan to use your compiler
    1.39 +      to build only kernels or bootloaders
    1.40 +
    1.41  endchoice
    1.42  
    1.43  config KERNEL_VERSION
    1.44 @@ -32,5 +40,3 @@
    1.45  endif
    1.46  
    1.47  endmenu
    1.48 -
    1.49 -endif # ! BARE_METAL