# SPDX-License-Identifier: GPL-2.0

extra-$(CONFIG_IRQ)        += head.o
extra-y                    += init.o
extra-$(CONFIG_IRQ_COMMON) += interrupt.o

obj-$(CONFIG_SCHEDULER)    += sched.o
obj-$(CONFIG_SCHEDULER)    += sched2.o
obj-$(CONFIG_TIMER)        += timer.o
