add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/Makefile
..
..
@@ -106,6 +106,7 @@
106
106
 obj-$(CONFIG_RING_BUFFER) += trace/
107
107
 obj-$(CONFIG_TRACEPOINTS) += trace/
108
108
 obj-$(CONFIG_IRQ_WORK) += irq_work.o
109
+obj-$(CONFIG_DOVETAIL) += dovetail.o
109
110
 obj-$(CONFIG_CPU_PM) += cpu_pm.o
110
111
 obj-$(CONFIG_BPF) += bpf/
111
112
 obj-$(CONFIG_KCSAN) += kcsan/
..
..
@@ -155,3 +156,5 @@
155
156
 	$(call cmd,genikh)
156
157
 
157
158
 clean-files := kheaders_data.tar.xz kheaders.md5
159
+
160
+obj-$(CONFIG_XENOMAI) += xenomai/