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_MPS3R=n 17# CONFIG_MUSCA=n 18# CONFIG_CHEETAH=n 19# CONFIG_SX1=n 20# CONFIG_NSERIES=n 21# CONFIG_STELLARIS=n 22# CONFIG_STM32VLDISCOVERY=n 23# CONFIG_B_L475E_IOT01A=n 24# CONFIG_REALVIEW=n 25# CONFIG_VERSATILE=n 26# CONFIG_VEXPRESS=n 27# CONFIG_ZYNQ=n 28# CONFIG_MAINSTONE=n 29# CONFIG_GUMSTIX=n 30# CONFIG_SPITZ=n 31# CONFIG_TOSA=n 32# CONFIG_Z2=n 33# CONFIG_NPCM7XX=n 34# CONFIG_COLLIE=n 35# CONFIG_ASPEED_SOC=n 36# CONFIG_NETDUINO2=n 37# CONFIG_NETDUINOPLUS2=n 38# CONFIG_OLIMEX_STM32_H405=n 39# CONFIG_MPS2=n 40# CONFIG_RASPI=n 41# CONFIG_DIGIC=n 42# CONFIG_SABRELITE=n 43# CONFIG_EMCRAFT_SF2=n 44# CONFIG_MICROBIT=n 45# CONFIG_FSL_IMX25=n 46# CONFIG_FSL_IMX7=n 47# CONFIG_FSL_IMX6UL=n 48# CONFIG_ALLWINNER_H3=n 49