10 kernel_arch_powerpc.xml \
13 kernel_arch_x86_64.xml \
18 stack_arch_x86_64.xml \
30 kernel_arch_i386.xml \
31 kernel_arch_mips.xml \
32 kernel_arch_powerpc.xml \
35 kernel_arch_x86_64.xml \
40 stack_arch_x86_64.xml \
48 facilitiesdir = $(pkgdatadir)/facilities