1.1 --- a/config/kernel/mingw32.in Sun Jul 11 21:36:20 2010 +0200
1.2 +++ b/config/kernel/mingw32.in Sun Aug 15 00:00:51 2010 +0200
1.3 @@ -1,4 +1,5 @@
1.4 # mingw32 config options
1.5 +# depends on EXPERIMENTAL
1.6
1.7 config KERNEL_mingw32
1.8 select MINGW32