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