add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/Makefile
..
..
@@ -9,6 +9,8 @@
9
9
 obj-$(CONFIG_GENERIC_IRQ_PROBE) += autoprobe.o
10
10
 obj-$(CONFIG_IRQ_DOMAIN) += irqdomain.o
11
11
 obj-$(CONFIG_IRQ_SIM) += irq_sim.o
12
+obj-$(CONFIG_IRQ_PIPELINE) += pipeline.o
13
+obj-$(CONFIG_IRQ_PIPELINE_TORTURE_TEST) += irqptorture.o
12
14
 obj-$(CONFIG_PROC_FS) += proc.o
13
15
 obj-$(CONFIG_GENERIC_PENDING_IRQ) += migration.o
14
16
 obj-$(CONFIG_GENERIC_IRQ_MIGRATION) += cpuhotplug.o