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

# Object file lists.

obj-y			:= dma.o ecard.o fiq.o irq.o riscpc.o time.o