1.1 --- a/config/kernel.in	Mon Sep 15 09:43:35 2008 +0000
     1.2 +++ b/config/kernel.in	Thu Sep 25 21:49:17 2008 +0000
     1.3 @@ -1,42 +1,19 @@
     1.4  # Kernel options
     1.5  
     1.6 +menu "Operating System"
     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 -menu "Target OS"
    1.14 +config KERNEL_VERSION
    1.15 +    string
    1.16  
    1.17  choice
    1.18      bool
    1.19      prompt "Target OS"
    1.20 -    default KERNEL_LINUX
    1.21  
    1.22 -config KERNEL_LINUX
    1.23 -    bool
    1.24 -    prompt "Linux"
    1.25 -    help
    1.26 -      Build a toolchain targeting systems running Linux as a kernel.
    1.27 -
    1.28 -config BARE_METAL
    1.29 -    bool
    1.30 -    prompt "Bare metal (EXPERIMENTAL)"
    1.31 -    depends on EXPERIMENTAL
    1.32 -    help
    1.33 -      Say 'y' here if you want a simple C compiler with no C library.
    1.34 -      
    1.35 -      'Bare metal' also refer to those programs that run without any kernel.
    1.36 -      
    1.37 -      You probably want to say 'y' here if you plan to use your compiler
    1.38 -      to build only kernels or bootloaders
    1.39 +source config.gen/kernel.in
    1.40  
    1.41  endchoice
    1.42  
    1.43 -config KERNEL_VERSION
    1.44 -    string
    1.45 -
    1.46 -if KERNEL_LINUX
    1.47 -source config/kernel/linux.in
    1.48 -endif
    1.49 -
    1.50  endmenu