1 <module name="vdmdbg" type="win32dll" baseaddress="${BASEADDRESS_VDMDBG}" installbase="system32" installname="vdmdbg.dll">
2 <importlibrary definition="vdmdbg.def" />
3 <include base="vdmdbg">.</include>
4 <define name="UNICODE" />
5 <define name="_UNICODE" />
6 <define name="__USE_W32API" />
7 <library>ntdll</library>
8 <library>kernel32</library>