1 <module name="ntoskrnl" type="kernel" installbase="system32" installname="ntoskrnl.exe">
2 <bootstrap base="reactos" />
3 <importlibrary definition="ntoskrnl.def" />
4 <define name="_SEH_NO_NATIVE_NLG" />
5 <define name="_DISABLE_TIDENTS" />
6 <define name="__NTOSKRNL__" />
7 <define name="_NTOSKRNL_" />
8 <define name="_NTSYSTEM_" />
9 <define name="__NO_CTYPE_INLINES" />
10 <define name="__USE_W32API" />
11 <define name="WIN9X_COMPAT_SPINLOCK" />
12 <define name="_IN_KERNEL_" />
13 <include base="cmlib">.</include>
14 <include base="ntoskrnl">include</include>
15 <include base="ReactOS">include/reactos/drivers</include>
16 <library>csq</library>
17 <library>hal</library>
18 <library>pseh</library>
19 <library>cmlib</library>
20 <library>rtl</library>
21 <library>rossym</library>
22 <library>string</library>
23 <library>kdcom</library>
24 <library>bootvid</library>
25 <library>wdmguid</library>
26 <directory name="include">
30 <if property="ARCH" value="i386">
31 <directory name="i386">
32 <file first="true">boot.S</file>
35 <file>ctxswitch.S</file>
42 <file>systimer.S</file>
43 <file>thrdini.c</file>
45 <file>usercall_asm.S</file>
46 <file>usercall.c</file>
48 <file>v86m_sup.S</file>
56 <file>devqueue.c</file>
58 <file>eventobj.c</file>
60 <file>freeldr.c</file>
64 <file>krnlinit.c</file>
66 <file>procobj.c</file>
67 <file>profobj.c</file>
69 <file>semphobj.c</file>
70 <file>spinlock.c</file>
71 <file>thrdschd.c</file>
72 <file>thrdobj.c</file>
73 <file>timerobj.c</file>
77 <file>cacheman.c</file>
87 <file>regfile.c</file>
88 <file>registry.c</file>
93 <directory name="dbgk">
94 <file>dbgkutil.c</file>
95 <file>dbgkobj.c</file>
98 <if property="ARCH" value="i386">
99 <directory name="i386">
100 <file>interlck_asm.S</file>
101 <file>fastinterlck_asm.S</file>
102 <file>ioport.S</file>
106 <file>callback.c</file>
107 <file>dbgctrl.c</file>
110 <file>evtpair.c</file>
111 <file>fmutex.c</file>
112 <file>handle.c</file>
113 <file>harderr.c</file>
115 <file>keyedevt.c</file>
116 <file>locale.c</file>
117 <file>lookas.c</file>
118 <file>mutant.c</file>
119 <file>pushlock.c</file>
120 <file>profile.c</file>
121 <file>resource.c</file>
122 <file>rundown.c</file>
124 <file>shutdown.c</file>
125 <file>sysinfo.c</file>
129 <file>win32k.c</file>
134 <directory name="fsrtl">
135 <file>dbcsname.c</file>
136 <file>fastio.c</file>
137 <file>faulttol.c</file>
138 <file>filelock.c</file>
139 <file>filter.c</file>
140 <file>filtrctx.c</file>
141 <file>fsfilter.c</file>
142 <file>fsrtlpc.c</file>
143 <file>largemcb.c</file>
145 <file>notify.c</file>
146 <file>oplock.c</file>
148 <file>stackovf.c</file>
149 <file>tunnel.c</file>
152 <directory name="fstub">
153 <file>disksup.c</file>
154 <file>fstubex.c</file>
155 <file>halstub.c</file>
157 <directory name="inbv">
160 <directory name="io">
161 <directory name="iomgr">
162 <file>adapter.c</file>
163 <file>arcname.c</file>
164 <file>bootlog.c</file>
165 <file>controller.c</file>
166 <file>device.c</file>
167 <file>deviface.c</file>
168 <file>driver.c</file>
169 <file>drvrlist.c</file>
172 <file>iocomp.c</file>
173 <file>ioevent.c</file>
174 <file>iofunc.c</file>
177 <file>iorsrce.c</file>
178 <file>iotimer.c</file>
179 <file>iowork.c</file>
183 <file>remlock.c</file>
185 <file>symlink.c</file>
186 <file>volume.c</file>
188 <directory name="pnpmgr">
189 <file>plugplay.c</file>
190 <file>pnpdma.c</file>
191 <file>pnpmgr.c</file>
192 <file>pnpnotify.c</file>
193 <file>pnpreport.c</file>
194 <file>pnproot.c</file>
197 <if property="_WINKD_" value="0">
198 <directory name="kdbg">
199 <if property="ARCH" value="i386">
200 <directory name="i386">
201 <if property="KDBG" value="1">
203 <file>i386-dis.c</file>
204 <file>kdb_help.S</file>
205 <file>longjmp.S</file>
206 <file>setjmp.S</file>
211 <if property="KDBG" value="1">
213 <file>kdb_cli.c</file>
214 <file>kdb_expr.c</file>
215 <file>kdb_keyboard.c</file>
216 <file>kdb_serial.c</file>
217 <file>kdb_string.c</file>
219 <if property="DBG_OR_KDBG" value="true">
220 <file>kdb_symbols.c</file>
223 <directory name="kd">
224 <directory name="wrappers">
226 <file>gdbstub.c</file>
228 <file>kdinit.c</file>
230 <file>kdmain.c</file>
233 <if property="_WINKD_" value ="1">
234 <directory name="kd64">
236 <file>kdbreak.c</file>
237 <file>kddata.c</file>
238 <file>kdinit.c</file>
239 <file>kdlock.c</file>
240 <file>kdprint.c</file>
241 <file>kdtrap.c</file>
244 <directory name="lpc">
246 <file>complete.c</file>
247 <file>connect.c</file>
248 <file>create.c</file>
249 <file>listen.c</file>
254 <directory name="mm">
255 <if property="ARCH" value="i386">
256 <directory name="i386">
260 <file>anonmem.c</file>
261 <file>aspace.c</file>
262 <file>balance.c</file>
264 <file>drvlck.c</file>
265 <file>freelist.c</file>
266 <file>iospace.c</file>
269 <file>mdlsup.c</file>
271 <file>mminit.c</file>
273 <file>ncache.c</file>
275 <file>pagefile.c</file>
276 <file>pageop.c</file>
278 <file>pagfault.c</file>
279 <file>paging.c</file>
281 <file>physical.c</file>
284 <file>procsup.c</file>
285 <file>region.c</file>
287 <file>section.c</file>
288 <file>sysldr.c</file>
289 <file>verifier.c</file>
290 <file>virtual.c</file>
295 <directory name="ob">
297 <file>obinit.c</file>
298 <file>obhandle.c</file>
299 <file>obname.c</file>
300 <file>oblife.c</file>
302 <file>sdcache.c</file>
303 <file>obsecure.c</file>
304 <file>oblink.c</file>
305 <file>obwait.c</file>
307 <directory name="po">
309 <file>events.c</file>
311 <directory name="ps">
315 <file>psnotify.c</file>
316 <file>process.c</file>
320 <file>security.c</file>
322 <file>thread.c</file>
325 <directory name="rtl">
326 <file>libsupp.c</file>
328 <file>strtok.c</file>
330 <directory name="se">
331 <file>access.c</file>
342 <directory name="vdm">
343 <if property="ARCH" value="i386">
344 <file>vdmmain.c</file>
345 <file>vdmexec.c</file>
348 <directory name="wmi">
351 <file>ntoskrnl.rc</file>
352 <linkerflag>-nostartfiles</linkerflag>
353 <linkerflag>-nostdlib</linkerflag>
354 <linkerflag>-lgcc</linkerflag>