diff -r 6cb56b3f2d34 -r fb71cad4b085 config/kernel/windows.in --- a/config/kernel/windows.in Wed Nov 14 14:05:49 2012 +0100 +++ b/config/kernel/windows.in Thu Jan 10 00:27:13 2013 +0100 @@ -1,6 +1,6 @@ # windows config options -## depends on EXPERIMENTAL && ARCH_x86 +## depends on ARCH_x86 ## ## select WINDOWS ##