18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for the DECstation family specific parts of the kernel 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciobj-y := ecc-berr.o int-handler.o ioasic-irq.o kn01-berr.o \ 78c2ecf20Sopenharmony_ci kn02-irq.o kn02xa-berr.o platform.o reset.o setup.o time.o 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciobj-$(CONFIG_TC) += tc.o 108c2ecf20Sopenharmony_ciobj-$(CONFIG_CPU_HAS_WB) += wbflush.o 11