changeset 3297 | 021ddc052689 |
parent 2484 | d1a8c2ae7946 |
1.1 --- a/config/kernel.in Tue May 31 16:27:39 2011 +0200 1.2 +++ b/config/kernel.in Mon May 05 19:36:35 2014 +0200 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