diff -r 6cb56b3f2d34 -r 1161ea79915b 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:11:17 2013 +0100 @@ -1,6 +1,6 @@ # windows config options -## depends on EXPERIMENTAL && ARCH_x86 +## depends on ARCH_x86 ## ## select WINDOWS ##