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