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
