c1c60b0d14
Add Kconfig dependencies for the NRF51 / microbit machine. Reviewed-by: Alistair Francis <alistair.francis@wdc.com> Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> Signed-off-by: Thomas Huth <thuth@redhat.com>
50 lines
838 B
Makefile
50 lines
838 B
Makefile
# 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_ARM_VIRT=y
|
|
CONFIG_CUBIEBOARD=y
|
|
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_ASPEED_SOC=y
|
|
CONFIG_NETDUINO2=y
|
|
CONFIG_MPS2=y
|
|
CONFIG_RASPI=y
|
|
CONFIG_DIGIC=y
|
|
CONFIG_SABRELITE=y
|
|
CONFIG_EMCRAFT_SF2=y
|
|
CONFIG_MICROBIT=y
|
|
|
|
CONFIG_VGA=y
|
|
|
|
CONFIG_FSL_IMX25=y
|
|
CONFIG_FSL_IMX7=y
|
|
CONFIG_FSL_IMX6UL=y
|
|
|
|
CONFIG_PCIE_PORT=y
|
|
CONFIG_XIO3130=y
|
|
CONFIG_IOH3420=y
|
|
CONFIG_I82801B11=y
|