1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the Linux Kernel SOC specific device drivers.
6 obj-
$(CONFIG_ARCH_ACTIONS
) += actions
/
7 obj-
$(CONFIG_SOC_ASPEED
) += aspeed
/
8 obj-
$(CONFIG_ARCH_AT91
) += atmel
/
10 obj-
$(CONFIG_ARCH_DOVE
) += dove
/
11 obj-
$(CONFIG_MACH_DOVE
) += dove
/
13 obj-
$(CONFIG_ARCH_GEMINI
) += gemini
/
14 obj-
$(CONFIG_ARCH_MXC
) += imx
/
15 obj-
$(CONFIG_ARCH_IXP4XX
) += ixp4xx
/
16 obj-
$(CONFIG_SOC_XWAY
) += lantiq
/
21 obj-
$(CONFIG_ARCH_ROCKCHIP
) += rockchip
/
22 obj-
$(CONFIG_SOC_SAMSUNG
) += samsung
/
23 obj-
$(CONFIG_SOC_SIFIVE
) += sifive
/
25 obj-
$(CONFIG_ARCH_TEGRA
) += tegra
/
27 obj-
$(CONFIG_ARCH_U8500
) += ux500
/
28 obj-
$(CONFIG_PLAT_VERSATILE
) += versatile
/
30 obj-
$(CONFIG_ARCH_ZX
) += zte
/
