| # Default configuration for arm-softmmu | |
| # TODO: ARM_V7M is currently always required - make this more flexible! | |
| CONFIG_ARM_V7M=y | |
| # CONFIG_PCI_DEVICES=n | |
| # CONFIG_TEST_DEVICES=n | |
| CONFIG_ARM_VIRT=y | |
| CONFIG_CUBIEBOARD=y | |
| CONFIG_EXYNOS4=y | |
| CONFIG_HIGHBANK=y | |
| CONFIG_INTEGRATOR=y | |
| CONFIG_FSL_IMX31=y | |
| CONFIG_MUSICPAL=y | |
| CONFIG_MUSCA=y | |
| CONFIG_CHEETAH=y | |
| CONFIG_SX1=y | |
| CONFIG_NSERIES=y | |
| CONFIG_STELLARIS=y | |
| CONFIG_REALVIEW=y | |
| CONFIG_VERSATILE=y | |
| CONFIG_VEXPRESS=y | |
| CONFIG_ZYNQ=y | |
| CONFIG_MAINSTONE=y | |
| CONFIG_GUMSTIX=y | |
| CONFIG_SPITZ=y | |
| CONFIG_TOSA=y | |
| CONFIG_Z2=y | |
| CONFIG_COLLIE=y | |
| CONFIG_ASPEED_SOC=y | |
| CONFIG_NETDUINO2=y | |
| CONFIG_NETDUINOPLUS2=y | |
| CONFIG_MPS2=y | |
| CONFIG_RASPI=y | |
| CONFIG_DIGIC=y | |
| CONFIG_SABRELITE=y | |
| CONFIG_EMCRAFT_SF2=y | |
| CONFIG_MICROBIT=y | |
| CONFIG_FSL_IMX25=y | |
| CONFIG_FSL_IMX7=y | |
| CONFIG_FSL_IMX6UL=y | |
| CONFIG_SEMIHOSTING=y | |
| CONFIG_ALLWINNER_H3=y | |
| CONFIG_ACPI_APEI=y |