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