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