1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
6 extra-y := head.o vmlinux.lds
8 obj-y := setup.o or32_ksyms.o process.o dma.o \
9 traps.o time.o irq.o entry.o ptrace.o signal.o \
12 obj-$(CONFIG_MODULES) += module.o
13 obj-$(CONFIG_OF) += prom.o