1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Makefile for the SGI specific kernel interface routines
4# under Linux.
5#
6
7obj-y	+= ip32-berr.o ip32-irq.o ip32-platform.o ip32-setup.o ip32-reset.o \
8	   crime.o ip32-memory.o ip32-dma.o
9