1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the Linux Kernel SOC specific device drivers.
6 obj-$(CONFIG_ARCH_ACTIONS) += actions/
9 obj-$(CONFIG_ARCH_AT91) += atmel/
11 obj-$(CONFIG_SOC_CANAAN) += canaan/
12 obj-$(CONFIG_ARCH_DOVE) += dove/
13 obj-$(CONFIG_MACH_DOVE) += dove/
16 obj-$(CONFIG_ARCH_GEMINI) += gemini/
19 obj-$(CONFIG_SOC_XWAY) += lantiq/
20 obj-$(CONFIG_LITEX_SOC_CONTROLLER) += litex/
28 obj-$(CONFIG_SOC_SAMSUNG) += samsung/
29 obj-$(CONFIG_SOC_SIFIVE) += sifive/
31 obj-$(CONFIG_ARCH_TEGRA) += tegra/
33 obj-$(CONFIG_ARCH_U8500) += ux500/
34 obj-$(CONFIG_PLAT_VERSATILE) += versatile/