config/kernel.in
changeset 117 80c4338ec0a0
parent 61 1207acb66003
child 446 d205527c5e01
     1.1 --- a/config/kernel.in	Sun May 06 13:42:10 2007 +0000
     1.2 +++ b/config/kernel.in	Tue May 22 20:36:44 2007 +0000
     1.3 @@ -13,13 +13,6 @@
     1.4      help
     1.5        Build a toolchain targeting systems running Linux as a kernel.
     1.6  
     1.7 -config KERNEL_CYGWIN
     1.8 -    bool
     1.9 -    prompt "cygwin"
    1.10 -    depends on EXPERIMENTAL && ( ARCH_x86 || ARCH_x86_64 )
    1.11 -    help
    1.12 -      Build a toolchain targeting systems running Windows/cygwin as a kernel.
    1.13 -
    1.14  endchoice
    1.15  
    1.16  config KERNEL_VERSION
    1.17 @@ -29,8 +22,4 @@
    1.18  source config/kernel_linux.in
    1.19  endif
    1.20  
    1.21 -if KERNEL_CYGWIN
    1.22 -source config/kernel_cygwin.in
    1.23 -endif
    1.24 -
    1.25  endmenu