1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
9 obj-y
:= entry.o traps.o irq.o debugport.o \
10 process.o ptrace.o setup.o signal.o traps.o time.o \
13 obj-
$(CONFIG_ETRAX_KGDB
) += kgdb.o kgdb_asm.o
14 obj-
$(CONFIG_ETRAX_FAST_TIMER
) += fasttimer.o
15 obj-
$(CONFIG_MODULES
) += crisksyms.o