- DBGKD_WAIT_STATE_CHANGE64 is used in KD protocol 5, not number 6 that we use. Proto...
[reactos.git] / reactos / lib / ppcmmu / ppcmmu.rbuild
1 <?xml version="1.0"?>
2 <!DOCTYPE module SYSTEM "../../tools/rbuild/project.dtd">
3 <module name="ppcmmu" type="staticlibrary">
4 <include base="ppcmmu">.</include>
5 <if property="ARCH" value="powerpc">
6 <file>mmuutil.c</file>
7 </if>
8 <file>dummy.c</file>
9 </module>