view doc/BUILDING_mingw.txt @ 347:f31625adca93

add docs on mingw building and modify makefile for private build of w32api link libraries
author Andy Grover <>
date Tue Jul 01 15:21:35 2008 -0700 (2008-07-01)
children 961762808bab
line source
1 This driver is buildable using MinGW32. This may be preferable due to licensing
2 reasons to using the Microsoft WDK/DDK.
4 These instructions are for building the driver on a Linux Ubuntu system, using
5 the mingw32msvc cross-compiler.
7 1. sudo apt-get install mingw mingw-binutils mingw-runtime
9 2. mingw-runtime headers need to be modified. Download the latest w32api-src.tar.gz
10 package from
12 3. Untar, then edit lib/ddk/ntoskrnl.def. Remove ";" from line ~545, which says
13 "KeNumberProcessors DATA".
15 4. Type: "./configure i586-mingw32-msvc;make"
17 2. Use Mercurial and type:
18 "hg clone"
20 4. Change to the win-pvdrivers.hg/xenpci dir.
22 5. Modify the W32API_PATH at the top of makefile.mingw to point to the lib/ddk
23 directory of the w32api package compiled above.
25 6. Type: "make -f makefile.mingw"
27 7. Building the shutdown monitor is not supported (maybe using Mono is an option
28 here?)
30 8. This is still an extremely alpha build method, so this will give you a
31 .sys file but you're on your own for the rest!