1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for the PowerPC 86xx linux kernel.
4#
5
6obj-y				:= pic.o common.o
7obj-$(CONFIG_SMP)		+= mpc86xx_smp.o
8obj-$(CONFIG_GEF_SBC610)	+= gef_sbc610.o
9obj-$(CONFIG_GEF_SBC310)	+= gef_sbc310.o
10obj-$(CONFIG_GEF_PPC9A)		+= gef_ppc9a.o
11obj-$(CONFIG_MVME7100)          += mvme7100.o
12