EXTRA_DIST = \
core.xml \
fs.xml \
-ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
+kernel_arch_c2.xml \
kernel_arch_i386.xml \
kernel_arch_mips.xml \
-stack_arch_i386.xml \
+kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
+kernel_arch_sh.xml \
+kernel_arch_x86_64.xml \
locking.xml \
-memory.xml \
-network.xml \
-process.xml \
-socket.xml \
-statedump.xml \
-timer.xml \
+mm.xml \
+net.xml \
+stack_arch_i386.xml \
+stack_arch_x86_64.xml \
+list.xml \
user_generic.xml \
-network_ip_interface.xml
+xen.xml \
+block.xml
facilities_DATA = \
core.xml \
fs.xml \
-ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
+kernel_arch_c2.xml \
kernel_arch_i386.xml \
kernel_arch_mips.xml \
-stack_arch_i386.xml \
+kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
+kernel_arch_sh.xml \
+kernel_arch_x86_64.xml \
locking.xml \
-memory.xml \
-network.xml \
-process.xml \
-socket.xml \
-statedump.xml \
-timer.xml \
+mm.xml \
+net.xml \
+stack_arch_i386.xml \
+stack_arch_x86_64.xml \
+list.xml \
user_generic.xml \
-network_ip_interface.xml
+xen.xml \
+compact.xml \
+block.xml
facilitiesdir = $(pkgdatadir)/facilities