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