1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the Linux Kernel SOC specific device drivers.
6 obj-$(CONFIG_ARCH_ACTIONS) += actions/
8 obj-$(CONFIG_ARCH_AT91) += atmel/
10 obj-$(CONFIG_SOC_CANAAN) += canaan/
11 obj-$(CONFIG_ARCH_DOVE) += dove/
12 obj-$(CONFIG_MACH_DOVE) += dove/
14 obj-$(CONFIG_ARCH_GEMINI) += gemini/
17 obj-$(CONFIG_SOC_XWAY) += lantiq/
18 obj-$(CONFIG_LITEX_SOC_CONTROLLER) += litex/
23 obj-$(CONFIG_ARCH_ROCKCHIP) += rockchip/
24 obj-$(CONFIG_SOC_SAMSUNG) += samsung/
25 obj-$(CONFIG_SOC_SIFIVE) += sifive/
27 obj-$(CONFIG_ARCH_TEGRA) += tegra/
29 obj-$(CONFIG_ARCH_U8500) += ux500/
30 obj-$(CONFIG_PLAT_VERSATILE) += versatile/