1 <module name="vgaddi" type="kernelmodedll" entrypoint="_DrvEnableDriver@12" installbase="system32" installname="vgaddi.dll">
2 <importlibrary definition="vgaddi.def" />
3 <include base="vgaddi">.</include>
4 <define name="__USE_W32API" />
5 <library>ntoskrnl</library>
7 <library>win32k</library>
8 <directory name="main">
11 <directory name="objects">
13 <file>pointer.c</file>
17 <file>transblt.c</file>
18 <file>offscreen.c</file>
19 <file>copybits.c</file>
21 <directory name="vgavideo">
22 <file>vgavideo.c</file>
24 <file>vgaddi.rc</file>