--- /dev/null
+
+EXTRA_DIST = \
+core.xml \
+fs.xml \
+fs_data.xml \
+ipc.xml \
+kernel.xml \
+kernel_arch_arm.xml \
+kernel_arch_c2.xml \
+kernel_arch_i386.xml \
+kernel_arch_mips.xml \
+kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
+kernel_arch_x86_64.xml \
+locking.xml \
+memory.xml \
+network.xml \
+process.xml \
+socket.xml \
+stack.xml \
+statedump.xml \
+timer.xml \
+user_generic.xml \
+network_ip_interface.xml \
+xenoltt.xml
+
+facilities_DATA = \
+core.xml \
+fs.xml \
+fs_data.xml \
+ipc.xml \
+kernel.xml \
+kernel_arch_arm.xml \
+kernel_arch_c2.xml \
+kernel_arch_i386.xml \
+kernel_arch_mips.xml \
+kernel_arch_powerpc.xml \
+kernel_arch_ppc.xml \
+kernel_arch_x86_64.xml \
+locking.xml \
+memory.xml \
+network.xml \
+process.xml \
+socket.xml \
+stack.xml \
+statedump.xml \
+timer.xml \
+user_generic.xml \
+network_ip_interface.xml \
+xenoltt.xml
+
+
+facilitiesdir = $(pkgdatadir)/facilities