diff -r 6cb56b3f2d34 -r cbaf37cc20b7 config/kernel/windows.in --- a/config/kernel/windows.in Wed Nov 14 14:05:49 2012 +0100 +++ b/config/kernel/windows.in Sun Mar 03 22:24:40 2013 +0100 @@ -1,6 +1,6 @@ # windows config options -## depends on EXPERIMENTAL && ARCH_x86 +## depends on ARCH_x86 ## ## select WINDOWS ##