# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for the linux kernel.
#

# Object file lists.

obj-y	:=dma.o ecard.o ecard-loader.o fiq.o floppydma.o io-acorn.o irq.o \
	  riscpc.o time.o