1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for the IP30 specific kernel interface routines under Linux. 4# 5 6obj-y := ip30-irq.o ip30-power.o ip30-setup.o ip30-timer.o ip30-xtalk.o 7 8obj-$(CONFIG_EARLY_PRINTK) += ip30-console.o 9obj-$(CONFIG_SMP) += ip30-smp.o 10