1.1 --- a/config/kernel.in Mon Sep 15 09:43:35 2008 +0000
1.2 +++ b/config/kernel.in Sun Sep 28 10:35:55 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