1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/kernel.in Sat Mar 31 19:45:25 2007 +0000
1.3 @@ -0,0 +1,36 @@
1.4 +# Kernel options
1.5 +
1.6 +menu "Kernel"
1.7 +
1.8 +choice
1.9 + bool
1.10 + prompt "\"Kernel\" to use:"
1.11 + default KERNEL_LINUX
1.12 +
1.13 +config KERNEL_LINUX
1.14 + bool
1.15 + prompt "linux"
1.16 + help
1.17 + Build a toolchain targeting systems running Linux as a kernel.
1.18 +
1.19 +config KERNEL_CYGWIN
1.20 + bool
1.21 + prompt "cygwin"
1.22 + depends on ARCH_x86 || ARCH_x86_64
1.23 + help
1.24 + Build a toolchain targeting systems running Windows/cygwin as a kernel.
1.25 +
1.26 +endchoice
1.27 +
1.28 +config KERNEL_VERSION
1.29 + string
1.30 +
1.31 +if KERNEL_LINUX
1.32 +source config/kernel_linux.in
1.33 +endif
1.34 +
1.35 +if KERNEL_CYGWIN
1.36 +source config/kernel_cygwin.in
1.37 +endif
1.38 +
1.39 +endmenu