10 kernel_arch_powerpc.xml \
12 kernel_arch_x86_64.xml \
17 stack_arch_x86_64.xml \
29 kernel_arch_i386.xml \
30 kernel_arch_mips.xml \
31 kernel_arch_powerpc.xml \
33 kernel_arch_x86_64.xml \
38 stack_arch_x86_64.xml \
46 facilitiesdir = $(pkgdatadir)/facilities