1config ARM 2 bool 3 select ARM_COMPATIBLE_SEMIHOSTING if TCG 4 5 # We need to select this until we move m_helper.c and the 6 # translate.c v7m helpers under ARM_V7M. 7 select ARM_V7M if TCG 8 9 select DEVICE_TREE # needed by boot.c 10 11config AARCH64 12 bool 13 select ARM 14 # kvm_arch_fixup_msi_route() needs to access PCIDevice 15 select PCI if KVM 16