10 kernel_arch_powerpc.xml \
13 kernel_arch_x86_64.xml \
18 stack_arch_x86_64.xml \
31 kernel_arch_i386.xml \
32 kernel_arch_mips.xml \
33 kernel_arch_powerpc.xml \
36 kernel_arch_x86_64.xml \
41 stack_arch_x86_64.xml \
49 facilitiesdir = $(pkgdatadir)/facilities