1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
9 obj-
$(CONFIG_ARCH_INTEGRATOR_AP
) += integrator_ap.o
10 obj-
$(CONFIG_ARCH_INTEGRATOR_CP
) += integrator_cp.o
12 obj-
$(CONFIG_PCI
) += pci_v3.o
13 obj-
$(CONFIG_INTEGRATOR_IMPD1
) += impd1.o
