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/