config ARM_VIRT
    bool
    imply VFIO_PLATFORM

config CHEETAH
    bool
    select OMAP
    select TSC210X

config DIGIC
    bool
    select PTIMER

config EXYNOS4
    bool
    select A9MPCORE
    select I2C
    select LAN9118
    select PL310 # cache controller
    select PTIMER
    select SDHCI
    select USB_EHCI_SYSBUS

config HIGHBANK
    bool
    select A9MPCORE
    select A15MPCORE
    select AHCI
    select ARM_TIMER # sp804
    select ARM_V7M
    select PL011 # UART
    select PL022 # Serial port
    select PL031 # RTC
    select PL061 # GPIO
    select PL310 # cache controller
    select XGMAC # ethernet

config INTEGRATOR
    bool
    select ARM_TIMER
    select INTEGRATOR_DEBUG
    select PL011 # UART
    select PL031 # RTC
    select PL050 # keyboard/mouse
    select PL110 # pl111 LCD controller
    select PL181 # display
    select SMC91C111

config MAINSTONE
    bool

config MUSICPAL
    bool
    select BITBANG_I2C
    select MARVELL_88W8618
    select PTIMER
    select PFLASH_CFI02
    select SERIAL
    select WM8750

config NETDUINO2
    bool

config NSERIES
    bool
    select OMAP
    select TMP105   # tempature sensor
    select BLIZZARD # LCD/TV controller
    select ONENAND
    select TSC210X  # touchscreen/sensors/audio
    select TSC2005  # touchscreen/sensors/keypad
    select LM832X   # GPIO keyboard chip
    select TWL92230 # energy-management
    select TUSB6010

config OMAP
    bool
    select FRAMEBUFFER
    select I2C
    select ECC
    select NAND
    select PFLASH_CFI01
    select SD
    select SERIAL

config PXA2XX
    bool

config REALVIEW
    bool
    imply PCI_DEVICES
    imply PCI_TESTDEV
    select SMC91C111
    select LAN9118
    select A9MPCORE
    select A15MPCORE
    select ARM11MPCORE
    select ARM_TIMER
    select VERSATILE_PCI
    select WM8750 # audio codec
    select LSI_SCSI_PCI
    select PCI
    select PL011  # UART
    select PL031  # RTC
    select PL041  # audio codec
    select PL050  # keyboard/mouse
    select PL061  # GPIO
    select PL080  # DMA controller
    select PL110
    select PL181  # display
    select PL310  # cache controller
    select VERSATILE_I2C
    select DS1338 # I2C RTC+NVRAM
    select USB_OHCI

config STELLARIS
    bool
    select ARM_V7M
    select CMSDK_APB_WATCHDOG
    select I2C
    select PL011 # UART
    select PL022 # Serial port
    select PL061 # GPIO
    select SSD0303 # OLED display
    select SSD0323 # OLED display
    select SSI_SD
    select STELLARIS_INPUT
    select STELLARIS_ENET # ethernet

config STRONGARM
    bool

config SX1
    bool
    select OMAP

config VERSATILE
    bool
    select ARM_TIMER # sp804
    select PFLASH_CFI01
    select LSI_SCSI_PCI
    select PL050  # keyboard/mouse
    select PL080  # DMA controller
    select PL190  # Vector PIC
    select REALVIEW
    select USB_OHCI

config VEXPRESS
    bool
    select A9MPCORE
    select A15MPCORE
    select ARM_MPTIMER
    select ARM_TIMER # sp804
    select LAN9118
    select PFLASH_CFI01
    select PL011 # UART
    select PL041 # audio codec
    select PL181  # display
    select REALVIEW
    select SII9022
    select VIRTIO_MMIO

config ZYNQ
    bool

config ARM_V7M
    bool

config ALLWINNER_A10
    bool

config RASPI
    bool

config STM32F205_SOC
    bool

config XLNX_ZYNQMP_ARM
    bool

config XLNX_VERSAL
    bool

config FSL_IMX25
    bool

config FSL_IMX31
    bool
    select SERIAL
    select IMX
    select IMX_I2C
    select LAN9118

config FSL_IMX6
    bool

config ASPEED_SOC
    bool

config MPS2
    bool

config FSL_IMX7
    bool

config ARM_SMMUV3
    bool

config FSL_IMX6UL
    bool

config NRF51_SOC
    bool

config MSF2
    bool
    select PTIMER

config ZAURUS
    bool

config A9MPCORE
    bool
    select A9_GTIMER
    select A9SCU       # snoop control unit
    select ARM_GIC
    select ARM_MPTIMER

config A15MPCORE
    bool

config ARM11MPCORE
    bool
    select ARM11SCU

config ARMSSE
    bool

config ARMSSE_CPUID
    bool

config ARMSSE_MHU
    bool

config MUSCA
    bool