1 # SPDX-License-Identifier: GPL-2.0-only 2 # 3 # Makefile for the SGI specific kernel interfa 4 # under Linux. 5 # 6 7 obj-y += ip32-berr.o ip32-irq.o ip32-platfor 8 crime.o ip32-memory.o ip32-dma.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.