1# Default configuration for arm-softmmu 2 3# TODO: ARM_V7M is currently always required - make this more flexible! 4CONFIG_ARM_V7M=y 5 6# CONFIG_PCI_DEVICES=n 7# CONFIG_TEST_DEVICES=n 8 9CONFIG_ARM_VIRT=y 10CONFIG_CUBIEBOARD=y 11CONFIG_EXYNOS4=y 12CONFIG_HIGHBANK=y 13CONFIG_INTEGRATOR=y 14CONFIG_FSL_IMX31=y 15CONFIG_MUSICPAL=y 16CONFIG_MUSCA=y 17CONFIG_CHEETAH=y 18CONFIG_SX1=y 19CONFIG_NSERIES=y 20CONFIG_STELLARIS=y 21CONFIG_REALVIEW=y 22CONFIG_VERSATILE=y 23CONFIG_VEXPRESS=y 24CONFIG_ZYNQ=y 25CONFIG_MAINSTONE=y 26CONFIG_GUMSTIX=y 27CONFIG_SPITZ=y 28CONFIG_TOSA=y 29CONFIG_Z2=y 30CONFIG_COLLIE=y 31CONFIG_ASPEED_SOC=y 32CONFIG_NETDUINO2=y 33CONFIG_MPS2=y 34CONFIG_RASPI=y 35CONFIG_DIGIC=y 36CONFIG_SABRELITE=y 37CONFIG_EMCRAFT_SF2=y 38CONFIG_MICROBIT=y 39CONFIG_FSL_IMX25=y 40CONFIG_FSL_IMX7=y 41CONFIG_FSL_IMX6UL=y 42CONFIG_SEMIHOSTING=y 43