1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for the linux kernel. 4# 5 6# Common support 7obj-y := clock.o generic.o #nmi-oopser.o 8 9# Specific board support 10obj-$(CONFIG_SA1100_ASSABET) += assabet.o 11obj-$(CONFIG_ASSABET_NEPONSET) += neponset.o 12obj-$(CONFIG_SA1100_COLLIE) += collie.o 13obj-$(CONFIG_SA1100_H3600) += h3600.o h3xxx.o 14obj-$(CONFIG_SA1100_JORNADA720) += jornada720.o 15obj-$(CONFIG_SA1100_JORNADA720_SSP) += jornada720_ssp.o 16 17# Miscellaneous functions 18obj-$(CONFIG_PM) += pm.o sleep.o 19obj-$(CONFIG_SA1100_SSP) += ssp.o 20 21