diff -r 000000000000 -r 6cb56b3f2d34 scripts/build/kernel/windows.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/kernel/windows.sh	Wed Nov 14 14:05:49 2012 +0100
@@ -0,0 +1,22 @@
+# This file declares functions to install the kernel headers for mingw64
+# Copyright 2012 Yann Diorcet
+# Licensed under the GPL v2. See COPYING in the root of this package
+
+CT_DoKernelTupleValues() {
+    # Even we compile for x86_64 target architecture, the target OS have to
+    # bet mingw32 (require by gcc and mingw-w64)
+    CT_TARGET_KERNEL="mingw32"
+    CT_TARGET_SYS=
+}
+
+do_kernel_get() {
+    :
+}
+
+do_kernel_extract() {
+    :
+}
+
+do_kernel_headers() {
+   :
+}