1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Makefile for the DECstation family specific parts of the kernel 4# 5 6obj-y := ecc-berr.o int-handler.o ioasic-irq.o kn01-berr.o \ 7 kn02-irq.o kn02xa-berr.o platform.o reset.o setup.o time.o 8 9obj-$(CONFIG_TC) += tc.o 10obj-$(CONFIG_CPU_HAS_WB) += wbflush.o 11