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