1 <module name=
"i8042prt" type=
"kernelmodedriver" installbase=
"system32/drivers" installname=
"i8042prt.sys">
2 <bootstrap base=
"reactos" />
3 <include base=
"i8042prt">.
</include>
4 <define name=
"__USE_W32API" />
5 <define name=
"__REACTOS__" />
6 <library>ntoskrnl
</library>
8 <file>i8042prt.c
</file>
9 <file>keyboard.c
</file>
12 <file>registry.c
</file>
13 <file>i8042prt.rc
</file>