1 # SPDX-License-Identifier: GPL-2.0-only
3 # Makefile for the DECstation family specific parts of the kernel
6 obj-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
9 obj-
$(CONFIG_TC
) += tc.o
10 obj-
$(CONFIG_CPU_HAS_WB
) += wbflush.o
