1# Default configuration for arm-softmmu 2 3# CONFIG_PCI_DEVICES=n 4# CONFIG_TEST_DEVICES=n 5 6CONFIG_ARM_VIRT=y 7 8# These are selected by default when TCG is enabled, uncomment them to 9# keep out of the build. 10# CONFIG_CUBIEBOARD=n 11# CONFIG_EXYNOS4=n 12# CONFIG_HIGHBANK=n 13# CONFIG_INTEGRATOR=n 14# CONFIG_FSL_IMX31=n 15# CONFIG_MUSICPAL=n 16# CONFIG_MUSCA=n 17# CONFIG_CHEETAH=n 18# CONFIG_SX1=n 19# CONFIG_NSERIES=n 20# CONFIG_STELLARIS=n 21# CONFIG_STM32VLDISCOVERY=n 22# CONFIG_B_L475E_IOT01A=n 23# CONFIG_REALVIEW=n 24# CONFIG_VERSATILE=n 25# CONFIG_VEXPRESS=n 26# CONFIG_ZYNQ=n 27# CONFIG_MAINSTONE=n 28# CONFIG_GUMSTIX=n 29# CONFIG_SPITZ=n 30# CONFIG_TOSA=n 31# CONFIG_Z2=n 32# CONFIG_NPCM7XX=n 33# CONFIG_COLLIE=n 34# CONFIG_ASPEED_SOC=n 35# CONFIG_NETDUINO2=n 36# CONFIG_NETDUINOPLUS2=n 37# CONFIG_OLIMEX_STM32_H405=n 38# CONFIG_MPS2=n 39# CONFIG_RASPI=n 40# CONFIG_DIGIC=n 41# CONFIG_SABRELITE=n 42# CONFIG_EMCRAFT_SF2=n 43# CONFIG_MICROBIT=n 44# CONFIG_FSL_IMX25=n 45# CONFIG_FSL_IMX7=n 46# CONFIG_FSL_IMX6UL=n 47# CONFIG_ALLWINNER_H3=n 48