add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/x86/kernel/Makefile
..
..
@@ -131,6 +131,7 @@
131
131
 obj-$(CONFIG_X86_PMEM_LEGACY_DEVICE) += pmem.o
132
132
 
133
133
 obj-$(CONFIG_JAILHOUSE_GUEST)	+= jailhouse.o
134
+obj-$(CONFIG_IRQ_PIPELINE)	+= irq_pipeline.o
134
135
 
135
136
 obj-$(CONFIG_EISA)		+= eisa.o
136
137
 obj-$(CONFIG_PCSPKR_PLATFORM)	+= pcspeaker.o