2 <!DOCTYPE module SYSTEM "../../../tools/rbuild/project.dtd">
3 <module name="i8042prt" type="kernelmodedriver" installbase="system32/drivers" installname="i8042prt.sys">
4 <bootstrap installbase="$(CDOUTPUT)" />
5 <include base="i8042prt">.</include>
6 <define name="__USE_W32API" />
7 <library>ntoskrnl</library>
9 <file>i8042prt.c</file>
10 <file>keyboard.c</file>
13 <file>registry.c</file>
14 <file>i8042prt.rc</file>