config/kernel/windows.in
changeset 3285 a8cb9039fade
parent 3112 6cb56b3f2d34
     1.1 --- a/config/kernel/windows.in	Wed Nov 14 14:05:49 2012 +0100
     1.2 +++ b/config/kernel/windows.in	Tue Feb 11 21:34:48 2014 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  # windows config options
     1.5  
     1.6 -## depends on EXPERIMENTAL && ARCH_x86
     1.7 +## depends on ARCH_x86
     1.8  ##
     1.9  ## select WINDOWS
    1.10  ##