Quelle  Makefile   Sprache: Coq

# SPDX-License-Identifier: GPL-2.0

# Branch profiling isn't noinstr-safe
ifdef CONFIG_TRACE_BRANCH_PROFILING
CFLAGS_sched_clock.o += -DDISABLE_BRANCH_PROFILING
endif

obj-y += time.o timer.o hrtimer.o sleep_timeout.o
obj-y += timekeeping.o ntp.o clocksource.o jiffies.o timer_list.o
obj-y += timeconv.o timecounter.o alarmtimer.o

ifeq ($(CONFIG_POSIX_TIMERS),y)
 obj-y += posix-timers.o posix-cpu-timers.o posix-clock.o itimer.o
else
 obj-y += posix-stubs.o
endif

obj-$(CONFIG_GENERIC_CLOCKEVENTS)  += clockevents.o tick-common.o
ifeq ($(CONFIG_GENERIC_CLOCKEVENTS_BROADCAST),y)
 obj-y      += tick-broadcast.o
 obj-$(CONFIG_TICK_ONESHOT)   += tick-broadcast-hrtimer.o
endif
obj-$(CONFIG_GENERIC_SCHED_CLOCK)  += sched_clock.o
obj-$(CONFIG_TICK_ONESHOT)   += tick-oneshot.o tick-sched.o
obj-$(CONFIG_LEGACY_TIMER_TICK)   += tick-legacy.o
ifeq ($(CONFIG_SMP),y)
 obj-$(CONFIG_NO_HZ_COMMON)   += timer_migration.o
endif
obj-$(CONFIG_HAVE_GENERIC_VDSO)   += vsyscall.o
obj-$(CONFIG_DEBUG_FS)    += timekeeping_debug.o
obj-$(CONFIG_TEST_UDELAY)   += test_udelay.o
obj-$(CONFIG_TIME_NS)    += namespace.o
obj-$(CONFIG_TEST_CLOCKSOURCE_WATCHDOG)  += clocksource-wdtest.o
obj-$(CONFIG_TIME_KUNIT_TEST)   += time_test.o