Makefile
libw32skrnl.def
w32skrnl.dll.dbg.c