Windows Driver Development VM

I use the following software packages when investigating Windows kernel behavior:

• MinGW - http://sourceforge.net/projects/mingw/files/
• Frank Rysanek's minimal Windows Driver - http://www.fccps.cz/download/adv/frr/win32_ddk_mingw/win32_ddk_mingw.html
• DebugView - http://technet.microsoft.com/en-us/sysinternals/bb896647.aspx
• HxD - http://mh-nexus.de/en/downloads.php?product=HxD

Frank Rysanek's minimal driver for MinGW is especially appreciated.  It would be nice to have a similar driver framework using the Windows DDK (without other dependencies).