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>
22 <file>sysinfo.c
</file>
25 <pch>../include/hal.h
</pch>
27 <module name=
"hal_generic_up" type=
"objectlibrary">
28 <include base=
"hal_generic_up">../include
</include>
29 <include base=
"ntoskrnl">include
</include>
30 <define name=
"_DISABLE_TIDENTS" />
31 <define name=
"_NTHAL_" />
32 <define name=
"__USE_W32API" />
35 <file>processor.c
</file>
36 <file>resource.c
</file>
37 <file>spinlock.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>