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_" />
14 <file>halinit.c
</file>
22 <file>spinlock.c
</file>
24 <file>sysinfo.c
</file>
27 <pch>../include/hal.h
</pch>
29 <module name=
"hal_generic_up" type=
"objectlibrary">
30 <include base=
"hal_generic_up">../include
</include>
31 <include base=
"ntoskrnl">include
</include>
32 <define name=
"_DISABLE_TIDENTS" />
33 <define name=
"_NTHAL_" />
34 <define name=
"__USE_W32API" />
37 <file>processor.c
</file>
38 <file>resource.c
</file>
40 <module name=
"hal_generic_pc" type=
"objectlibrary">
41 <include base=
"hal_generic_pc">../include
</include>
42 <include base=
"ntoskrnl">include
</include>
43 <define name=
"_DISABLE_TIDENTS" />
44 <define name=
"_NTHAL_" />
45 <define name=
"__USE_W32API" />
46 <file>display.c
</file>