e7539ef8 |
1 | |
2 | EXTRA_DIST = \ |
3 | core.xml \ |
4 | fs.xml \ |
5 | ipc.xml \ |
6 | kernel.xml \ |
b6fd32e3 |
7 | kernel_arch_arm.xml \ |
0dd15359 |
8 | kernel_arch_c2.xml \ |
f5d7967f |
9 | kernel_arch_i386.xml \ |
cf2f2d4c |
10 | kernel_arch_mips.xml \ |
635ed816 |
11 | kernel_arch_powerpc.xml \ |
7df766d3 |
12 | stack_arch_i386.xml \ |
0dee0e75 |
13 | locking.xml \ |
e7539ef8 |
14 | memory.xml \ |
15 | network.xml \ |
16 | process.xml \ |
e7539ef8 |
17 | socket.xml \ |
743e50fd |
18 | statedump.xml \ |
9d7e0c25 |
19 | timer.xml \ |
7cd289b0 |
20 | user_generic.xml \ |
21 | network_ip_interface.xml |
e7539ef8 |
22 | |
23 | facilities_DATA = \ |
24 | core.xml \ |
25 | fs.xml \ |
26 | ipc.xml \ |
27 | kernel.xml \ |
b6fd32e3 |
28 | kernel_arch_arm.xml \ |
0dd15359 |
29 | kernel_arch_c2.xml \ |
f5d7967f |
30 | kernel_arch_i386.xml \ |
cf2f2d4c |
31 | kernel_arch_mips.xml \ |
635ed816 |
32 | kernel_arch_powerpc.xml \ |
7df766d3 |
33 | stack_arch_i386.xml \ |
0dee0e75 |
34 | locking.xml \ |
e7539ef8 |
35 | memory.xml \ |
36 | network.xml \ |
37 | process.xml \ |
e7539ef8 |
38 | socket.xml \ |
743e50fd |
39 | statedump.xml \ |
9d7e0c25 |
40 | timer.xml \ |
7cd289b0 |
41 | user_generic.xml \ |
42 | network_ip_interface.xml |
e7539ef8 |
43 | |
44 | |
45 | facilitiesdir = $(pkgdatadir)/facilities |