e7539ef8 |
1 | |
2 | EXTRA_DIST = \ |
3 | core.xml \ |
4 | fs.xml \ |
e7539ef8 |
5 | kernel.xml \ |
b6fd32e3 |
6 | kernel_arch_arm.xml \ |
0dd15359 |
7 | kernel_arch_c2.xml \ |
f5d7967f |
8 | kernel_arch_i386.xml \ |
cf2f2d4c |
9 | kernel_arch_mips.xml \ |
635ed816 |
10 | kernel_arch_powerpc.xml \ |
09096ee7 |
11 | kernel_arch_ppc.xml \ |
7ef04783 |
12 | kernel_arch_x86_64.xml \ |
0dee0e75 |
13 | locking.xml \ |
50c19fd1 |
14 | mm.xml \ |
15 | net.xml \ |
2611c0c5 |
16 | stack_arch_i386.xml \ |
2aa3b41b |
17 | list.xml \ |
7cd289b0 |
18 | user_generic.xml \ |
f035cda5 |
19 | xen.xml \ |
20 | compact.xml |
e7539ef8 |
21 | |
22 | facilities_DATA = \ |
23 | core.xml \ |
24 | fs.xml \ |
e7539ef8 |
25 | kernel.xml \ |
b6fd32e3 |
26 | kernel_arch_arm.xml \ |
0dd15359 |
27 | kernel_arch_c2.xml \ |
f5d7967f |
28 | kernel_arch_i386.xml \ |
cf2f2d4c |
29 | kernel_arch_mips.xml \ |
635ed816 |
30 | kernel_arch_powerpc.xml \ |
09096ee7 |
31 | kernel_arch_ppc.xml \ |
7ef04783 |
32 | kernel_arch_x86_64.xml \ |
0dee0e75 |
33 | locking.xml \ |
50c19fd1 |
34 | mm.xml \ |
35 | net.xml \ |
2611c0c5 |
36 | stack_arch_i386.xml \ |
2aa3b41b |
37 | list.xml \ |
7cd289b0 |
38 | user_generic.xml \ |
f035cda5 |
39 | xen.xml \ |
40 | compact.xml |
e7539ef8 |
41 | |
42 | |
43 | facilitiesdir = $(pkgdatadir)/facilities |