add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/time/Makefile
..
..
@@ -16,6 +16,7 @@
16
16
 endif
17
17
 obj-$(CONFIG_GENERIC_SCHED_CLOCK)		+= sched_clock.o
18
18
 obj-$(CONFIG_TICK_ONESHOT)			+= tick-oneshot.o tick-sched.o
19
+obj-$(CONFIG_IRQ_PIPELINE)			+= tick-proxy.o
19
20
 obj-$(CONFIG_HAVE_GENERIC_VDSO)			+= vsyscall.o
20
21
 obj-$(CONFIG_DEBUG_FS)				+= timekeeping_debug.o
21
22
 obj-$(CONFIG_TEST_UDELAY)			+= test_udelay.o