EXTRA_DIST = \
core.xml \
fs.xml \
+fs_data.xml \
ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
kernel_arch_i386.xml \
kernel_arch_mips.xml \
kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
stack_arch_i386.xml \
locking.xml \
memory.xml \
facilities_DATA = \
core.xml \
fs.xml \
+fs_data.xml \
ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
kernel_arch_i386.xml \
kernel_arch_mips.xml \
kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
stack_arch_i386.xml \
locking.xml \
memory.xml \