diff -r 1207acb66003 -r 80c4338ec0a0 config/kernel.in
--- a/config/kernel.in	Sun May 06 13:42:10 2007 +0000
+++ b/config/kernel.in	Tue May 22 20:36:44 2007 +0000
@@ -13,13 +13,6 @@
     help
       Build a toolchain targeting systems running Linux as a kernel.
 
-config KERNEL_CYGWIN
-    bool
-    prompt "cygwin"
-    depends on EXPERIMENTAL && ( ARCH_x86 || ARCH_x86_64 )
-    help
-      Build a toolchain targeting systems running Windows/cygwin as a kernel.
-
 endchoice
 
 config KERNEL_VERSION
@@ -29,8 +22,4 @@
 source config/kernel_linux.in
 endif
 
-if KERNEL_CYGWIN
-source config/kernel_cygwin.in
-endif
-
 endmenu