diff -r 000000000000 -r 366bd2b22675 config/libc/mingw.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/libc/mingw.in	Thu Aug 05 17:59:51 2010 +0200
@@ -0,0 +1,34 @@
+# mingw options
+# depends on MINGW32
+
+config LIBC_mingw
+    bool
+    select LIBC_SUPPORT_WIN32THREADS
+    help
+      The de-facto standard for Mingw distributions.
+
+choice
+    bool
+    prompt "Mingw runtime version"
+
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
+config MINGWRT_V_3_18
+    bool
+    prompt "3.18"
+
+config MINGWRT_V_select
+    bool
+    prompt "Other version"
+
+endchoice
+
+config MINGWRT_VERSION
+    string
+    prompt "Mingw runtime version" if MINGWRT_V_select
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
+    default "3.18" if MINGWRT_V_3_18
+    help
+      Enter the version number of the mingw runtime files to use
+