| # 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_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_VGA=y |
| CONFIG_TMP421=y |
| CONFIG_PCA9552=y |
| CONFIG_SSI_M25P80=y |
| CONFIG_ALLWINNER_EMAC=y |
| CONFIG_IMX_FEC=y |
| CONFIG_FTGMAC100=y |
| CONFIG_DS1338=y |
| CONFIG_PLATFORM_BUS=y |
| CONFIG_VIRTIO_MMIO=y |
| |
| CONFIG_NETDUINO2=y |
| |
| CONFIG_FRAMEBUFFER=y |
| |
| CONFIG_DIGIC=y |
| CONFIG_MPS2=y |
| CONFIG_RASPI=y |
| CONFIG_STM32F2XX_TIMER=y |
| CONFIG_STM32F2XX_USART=y |
| CONFIG_STM32F2XX_SYSCFG=y |
| CONFIG_STM32F2XX_ADC=y |
| CONFIG_STM32F2XX_SPI=y |
| CONFIG_STM32F205_SOC=y |
| CONFIG_NRF51_SOC=y |
| |
| CONFIG_CMSDK_APB_TIMER=y |
| CONFIG_CMSDK_APB_DUALTIMER=y |
| CONFIG_CMSDK_APB_UART=y |
| CONFIG_CMSDK_APB_WATCHDOG=y |
| |
| CONFIG_MPS2_FPGAIO=y |
| CONFIG_MPS2_SCC=y |
| |
| CONFIG_TZ_MPC=y |
| CONFIG_TZ_MSC=y |
| CONFIG_TZ_PPC=y |
| CONFIG_ARMSSE=y |
| CONFIG_IOTKIT_SECCTL=y |
| CONFIG_IOTKIT_SYSCTL=y |
| CONFIG_IOTKIT_SYSINFO=y |
| CONFIG_ARMSSE_CPUID=y |
| CONFIG_ARMSSE_MHU=y |
| |
| CONFIG_PCI_EXPRESS=y |
| CONFIG_PCI_EXPRESS_GENERIC_BRIDGE=y |
| |
| CONFIG_ALLWINNER_A10_PIT=y |
| CONFIG_ALLWINNER_A10_PIC=y |
| CONFIG_ALLWINNER_A10=y |
| |
| CONFIG_FSL_IMX6=y |
| CONFIG_FSL_IMX25=y |
| CONFIG_FSL_IMX7=y |
| CONFIG_FSL_IMX6UL=y |
| |
| CONFIG_IMX_I2C=y |
| |
| CONFIG_PCIE_PORT=y |
| CONFIG_XIO3130=y |
| CONFIG_IOH3420=y |
| CONFIG_I82801B11=y |
| CONFIG_ACPI=y |
| CONFIG_ARM_VIRT=y |
| CONFIG_SMBIOS=y |
| CONFIG_ASPEED_SOC=y |
| CONFIG_SMBUS_EEPROM=y |
| CONFIG_GPIO_KEY=y |
| CONFIG_MSF2=y |
| CONFIG_FW_CFG_DMA=y |
| CONFIG_PCI_EXPRESS_DESIGNWARE=y |