1 2add_library(i8042prt SHARED 3 createclose.c 4 i8042prt.c 5 keyboard.c 6 misc.c 7 mouse.c 8 pnp.c 9 ps2pp.c 10 readwrite.c 11 registry.c 12 i8042prt.rc) 13 14set_module_type(i8042prt kernelmodedriver) 15add_importlibs(i8042prt ntoskrnl hal) 16add_pch(i8042prt i8042prt.h) 17add_cd_file(TARGET i8042prt DESTINATION reactos/system32/drivers NO_CAB FOR all) 18