| 1 | |
| 2 | EXTRA_DIST = \ |
| 3 | core.xml \ |
| 4 | fs.xml \ |
| 5 | fs_data.xml \ |
| 6 | ipc.xml \ |
| 7 | kernel.xml \ |
| 8 | kernel_arch_arm.xml \ |
| 9 | kernel_arch_c2.xml \ |
| 10 | kernel_arch_i386.xml \ |
| 11 | kernel_arch_mips.xml \ |
| 12 | kernel_arch_powerpc.xml \ |
| 13 | kernel_arch_ppc.xml \ |
| 14 | kernel_arch_x86_64.xml \ |
| 15 | locking.xml \ |
| 16 | memory.xml \ |
| 17 | network.xml \ |
| 18 | process.xml \ |
| 19 | socket.xml \ |
| 20 | stack.xml \ |
| 21 | statedump.xml \ |
| 22 | timer.xml \ |
| 23 | user_generic.xml \ |
| 24 | network_ip_interface.xml |
| 25 | |
| 26 | facilities_DATA = \ |
| 27 | core.xml \ |
| 28 | fs.xml \ |
| 29 | fs_data.xml \ |
| 30 | ipc.xml \ |
| 31 | kernel.xml \ |
| 32 | kernel_arch_arm.xml \ |
| 33 | kernel_arch_c2.xml \ |
| 34 | kernel_arch_i386.xml \ |
| 35 | kernel_arch_mips.xml \ |
| 36 | kernel_arch_powerpc.xml \ |
| 37 | kernel_arch_ppc.xml \ |
| 38 | kernel_arch_x86_64.xml \ |
| 39 | locking.xml \ |
| 40 | memory.xml \ |
| 41 | network.xml \ |
| 42 | process.xml \ |
| 43 | socket.xml \ |
| 44 | stack.xml \ |
| 45 | statedump.xml \ |
| 46 | timer.xml \ |
| 47 | user_generic.xml \ |
| 48 | network_ip_interface.xml |
| 49 | |
| 50 | |
| 51 | facilitiesdir = $(pkgdatadir)/facilities |