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_ARCH_AT91) += atmel/
9 obj-$(CONFIG_ARCH_DOVE) += dove/
10 obj-$(CONFIG_MACH_DOVE) += dove/
12 obj-$(CONFIG_ARCH_GEMINI) += gemini/
13 obj-$(CONFIG_ARCH_MXC) += imx/
14 obj-$(CONFIG_SOC_XWAY) += lantiq/
19 obj-$(CONFIG_ARCH_ROCKCHIP) += rockchip/
20 obj-$(CONFIG_SOC_SAMSUNG) += samsung/
22 obj-$(CONFIG_ARCH_TEGRA) += tegra/
23 obj-$(CONFIG_SOC_TI) += ti/
24 obj-$(CONFIG_ARCH_U8500) += ux500/
25 obj-$(CONFIG_PLAT_VERSATILE) += versatile/
27 obj-$(CONFIG_ARCH_ZX) += zte/