e7539ef8 |
1 | |
2 | EXTRA_DIST = \ |
3 | core.xml \ |
4 | fs.xml \ |
b524ff09 |
5 | fs_data.xml \ |
e7539ef8 |
6 | ipc.xml \ |
7 | kernel.xml \ |
b6fd32e3 |
8 | kernel_arch_arm.xml \ |
0dd15359 |
9 | kernel_arch_c2.xml \ |
f5d7967f |
10 | kernel_arch_i386.xml \ |
cf2f2d4c |
11 | kernel_arch_mips.xml \ |
635ed816 |
12 | kernel_arch_powerpc.xml \ |
09096ee7 |
13 | kernel_arch_ppc.xml \ |
7ef04783 |
14 | kernel_arch_x86_64.xml \ |
0dee0e75 |
15 | locking.xml \ |
e7539ef8 |
16 | memory.xml \ |
17 | network.xml \ |
18 | process.xml \ |
e7539ef8 |
19 | socket.xml \ |
a54f1427 |
20 | stack.xml \ |
743e50fd |
21 | statedump.xml \ |
9d7e0c25 |
22 | timer.xml \ |
7cd289b0 |
23 | user_generic.xml \ |
fb117aa1 |
24 | network_ip_interface.xml \ |
f035cda5 |
25 | xen.xml \ |
26 | compact.xml |
e7539ef8 |
27 | |
28 | facilities_DATA = \ |
29 | core.xml \ |
30 | fs.xml \ |
b524ff09 |
31 | fs_data.xml \ |
e7539ef8 |
32 | ipc.xml \ |
33 | kernel.xml \ |
b6fd32e3 |
34 | kernel_arch_arm.xml \ |
0dd15359 |
35 | kernel_arch_c2.xml \ |
f5d7967f |
36 | kernel_arch_i386.xml \ |
cf2f2d4c |
37 | kernel_arch_mips.xml \ |
635ed816 |
38 | kernel_arch_powerpc.xml \ |
09096ee7 |
39 | kernel_arch_ppc.xml \ |
7ef04783 |
40 | kernel_arch_x86_64.xml \ |
0dee0e75 |
41 | locking.xml \ |
e7539ef8 |
42 | memory.xml \ |
43 | network.xml \ |
44 | process.xml \ |
e7539ef8 |
45 | socket.xml \ |
a54f1427 |
46 | stack.xml \ |
743e50fd |
47 | statedump.xml \ |
9d7e0c25 |
48 | timer.xml \ |
7cd289b0 |
49 | user_generic.xml \ |
fb117aa1 |
50 | network_ip_interface.xml \ |
f035cda5 |
51 | xen.xml \ |
52 | compact.xml |
e7539ef8 |
53 | |
54 | |
55 | facilitiesdir = $(pkgdatadir)/facilities |