config/kernel/windows.in
changeset 3150 1d6fd9bde73c
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	Wed Dec 26 20:05:19 2012 +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  ##