diff -r 000000000000 -r eeea35fbf182 config/kernel.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/kernel.in	Sat Feb 24 11:00:05 2007 +0000
@@ -0,0 +1,36 @@
+# Kernel options
+
+menu "Kernel"
+
+choice
+    bool
+    prompt "\"Kernel\" to use:"
+    default KERNEL_LINUX
+
+config KERNEL_LINUX
+    bool
+    prompt "linux"
+    help
+      Build a toolchain targeting systems running Linux as a kernel.
+
+config KERNEL_CYGWIN
+    bool
+    prompt "cygwin"
+    depends on ARCH_x86 || ARCH_x86_64
+    help
+      Build a toolchain targeting systems running Windows/cygwin as a kernel.
+
+endchoice
+
+config KERNEL_VERSION
+    string
+
+if KERNEL_LINUX
+source config/kernel_linux.in
+endif
+
+if KERNEL_CYGWIN
+source config/kernel_cygwin.in
+endif
+
+endmenu