1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the Linux Kernel SOC specific device drivers.
8 obj-$(CONFIG_ARCH_AT91) += atmel/
10 obj-$(CONFIG_SOC_CANAAN) += canaan/
11 obj-$(CONFIG_ARCH_DOVE) += dove/
12 obj-$(CONFIG_MACH_DOVE) += dove/
15 obj-$(CONFIG_ARCH_GEMINI) += gemini/
19 obj-$(CONFIG_SOC_XWAY) += lantiq/
20 obj-$(CONFIG_LITEX_SOC_CONTROLLER) += litex/
30 obj-$(CONFIG_SOC_SAMSUNG) += samsung/
33 obj-$(CONFIG_ARCH_TEGRA) += tegra/
35 obj-$(CONFIG_ARCH_U8500) += ux500/
36 obj-$(CONFIG_PLAT_VERSATILE) += versatile/