default-configs/arm-softmmu.mak

   1 # Default configuration for arm-softmmu
   2
   3 # TODO: ARM_V7M is currently always required - make this more flexible!
   4 CONFIG_ARM_V7M=y
   5
   6 # CONFIG_PCI_DEVICES=n
   7 # CONFIG_TEST_DEVICES=n
   8
   9 CONFIG_ARM_VIRT=y
  10 CONFIG_EXYNOS4=y
  11 CONFIG_HIGHBANK=y
  12 CONFIG_INTEGRATOR=y
  13 CONFIG_FSL_IMX31=y
  14 CONFIG_MUSICPAL=y
  15 CONFIG_MUSCA=y
  16 CONFIG_CHEETAH=y
  17 CONFIG_SX1=y
  18 CONFIG_NSERIES=y
  19 CONFIG_STELLARIS=y
  20 CONFIG_REALVIEW=y
  21 CONFIG_VERSATILE=y
  22 CONFIG_VEXPRESS=y
  23 CONFIG_ZYNQ=y
  24 CONFIG_MAINSTONE=y
  25 CONFIG_GUMSTIX=y
  26 CONFIG_SPITZ=y
  27 CONFIG_TOSA=y
  28 CONFIG_Z2=y
  29 CONFIG_COLLIE=y
  30 CONFIG_ASPEED_SOC=y
  31 CONFIG_NETDUINO2=y
  32
  33 CONFIG_VGA=y
  34 CONFIG_SSI_M25P80=y
  35 CONFIG_ALLWINNER_EMAC=y
  36 CONFIG_IMX_FEC=y
  37
  38 CONFIG_FRAMEBUFFER=y
  39
  40 CONFIG_DIGIC=y
  41 CONFIG_MPS2=y
  42 CONFIG_RASPI=y
  43 CONFIG_NRF51_SOC=y
  44
  45 CONFIG_CMSDK_APB_TIMER=y
  46 CONFIG_CMSDK_APB_DUALTIMER=y
  47 CONFIG_CMSDK_APB_UART=y
  48 CONFIG_CMSDK_APB_WATCHDOG=y
  49
  50 CONFIG_MPS2_FPGAIO=y
  51 CONFIG_MPS2_SCC=y
  52
  53 CONFIG_TZ_MPC=y
  54 CONFIG_TZ_MSC=y
  55 CONFIG_TZ_PPC=y
  56 CONFIG_ARMSSE=y
  57 CONFIG_IOTKIT_SECCTL=y
  58 CONFIG_IOTKIT_SYSCTL=y
  59 CONFIG_IOTKIT_SYSINFO=y
  60 CONFIG_ARMSSE_CPUID=y
  61 CONFIG_ARMSSE_MHU=y
  62
  63 CONFIG_ALLWINNER_A10_PIT=y
  64 CONFIG_ALLWINNER_A10_PIC=y
  65 CONFIG_ALLWINNER_A10=y
  66
  67 CONFIG_FSL_IMX6=y
  68 CONFIG_FSL_IMX25=y
  69 CONFIG_FSL_IMX7=y
  70 CONFIG_FSL_IMX6UL=y
  71
  72 CONFIG_IMX_I2C=y
  73
  74 CONFIG_PCIE_PORT=y
  75 CONFIG_XIO3130=y
  76 CONFIG_IOH3420=y
  77 CONFIG_I82801B11=y
  78 CONFIG_MSF2=y
  79 CONFIG_PCI_EXPRESS_DESIGNWARE=y