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