1 <module name=
"hal_generic" type=
"objectlibrary">
2 <include base=
"hal_generic">../include
</include>
3 <include base=
"ntoskrnl">include
</include>
4 <define name=
"_DISABLE_TIDENTS" />
5 <define name=
"__USE_W32API" />
6 <define name=
"_NTHAL_" />
13 <file>halinit.c
</file>
21 <file>spinlock.c
</file>
23 <file>sysinfo.c
</file>
26 <pch>../include/hal.h
</pch>
28 <module name=
"hal_generic_up" type=
"objectlibrary">
29 <include base=
"hal_generic_up">../include
</include>
30 <include base=
"ntoskrnl">include
</include>
31 <define name=
"_DISABLE_TIDENTS" />
32 <define name=
"_NTHAL_" />
33 <define name=
"__USE_W32API" />
36 <file>processor.c
</file>
37 <file>resource.c
</file>
39 <module name=
"hal_generic_pc" type=
"objectlibrary">
40 <include base=
"hal_generic_pc">../include
</include>
41 <include base=
"ntoskrnl">include
</include>
42 <define name=
"_DISABLE_TIDENTS" />
43 <define name=
"_NTHAL_" />
44 <define name=
"__USE_W32API" />
45 <file>display.c
</file>