# 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