# SPDX-License-Identifier: GPL-2.0

obj-$(CONFIG_SCHEDULER)  += sched.o
obj-$(CONFIG_TIMER)      += timer.o
obj-$(CONFIG_PANIC)      += panic.o
obj-$(CONFIG_PRINTK)     += printk.o
