config/kernel/windows.in
changeset 3281 529a71ea091e
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	Thu Jan 16 14:55:23 2014 -0800
     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  ##