add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/init/Makefile
..
..
@@ -34,4 +34,4 @@
34
34
 	@$($(quiet)chk_compile.h)
35
35
 	$(Q)$(CONFIG_SHELL) $(srctree)/scripts/mkcompile_h $@	\
36
36
 	"$(UTS_MACHINE)" "$(CONFIG_SMP)" "$(CONFIG_PREEMPT)"	\
37
-	"$(CONFIG_PREEMPT_RT)" $(CONFIG_CC_VERSION_TEXT) "$(LD)"
37
+	"$(CONFIG_PREEMPT_RT)" "$(CONFIG_IRQ_PIPELINE)" $(CONFIG_CC_VERSION_TEXT) "$(LD)"