# SPDX-License-Identifier: GPL-2.0## Makefile for the linux kernel.#extra-y:=head.ovmlinux.lds
obj-y:=setup.oor32_ksyms.oprocess.odma.o\traps.otime.oirq.oentry.optrace.osignal.o\sys_call_table.o
obj-$(CONFIG_MODULES)+=module.o
obj-$(CONFIG_OF)+=prom.o
clean: