1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for the 7751 SolutionEngine specific parts of the kernel
4#
5
6obj-y	 := setup.o irq.o
7