changeset 3192 | d1a898bff9c6 |
parent 2484 | d1a8c2ae7946 |
1.1 --- a/config/kernel.in Tue May 31 16:27:39 2011 +0200 1.2 +++ b/config/kernel.in Sun Mar 03 17:15:56 2013 +0100 1.3 @@ -7,7 +7,7 @@ 1.4 config BARE_METAL 1.5 bool 1.6 1.7 -config MINGW32 1.8 +config WINDOWS 1.9 bool 1.10 1.11 # Each target OS (aka kernel) that support shared libraries can select