acrn-kernel/arch/x86/configs
..
i386_defconfig
kvm_guest.config
tiny.config
x86_64_defconfig
xen.config