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