diff -r 000000000000 -r f637b6c2162b scripts/build/kernel/mingw32.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/kernel/mingw32.sh	Sun Jul 11 21:36:20 2010 +0200
@@ -0,0 +1,27 @@
+# This file declares functions to install the kernel headers for mingw
+# Copyright 2009 Bart vdr. Meulen
+# Licensed under the GPL v2. See COPYING in the root of this package
+
+CT_DoKernelTupleValues() {
+    CT_TARGET_KERNEL="mingw32"
+    CT_TARGET_SYS=
+}
+
+do_kernel_get() {
+    CT_GetFile "w32api-${CT_W32API_VERSION}-mingw32-src" \
+        http://downloads.sourceforge.net/sourceforge/mingw
+}
+
+do_kernel_extract() {
+    CT_Extract "w32api-${CT_W32API_VERSION}-mingw32-src"
+}
+
+do_kernel_headers() {
+    CT_DoStep INFO "Installing kernel headers"
+
+    mkdir -p "${CT_SYSROOT_DIR}/include"
+    cp -r ${CT_SRC_DIR}/w32api-${CT_W32API_VERSION}-mingw32/include \
+          ${CT_SYSROOT_DIR}
+
+    CT_EndStep
+}