add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/irqchip/irq-omap-intc.c
..
..
@@ -211,7 +211,7 @@
211
211
 		ct->chip.irq_mask = irq_gc_mask_disable_reg;
212
212
 		ct->chip.irq_unmask = irq_gc_unmask_enable_reg;
213
213
 
214
-		ct->chip.flags |= IRQCHIP_SKIP_SET_WAKE;
214
+		ct->chip.flags |= IRQCHIP_SKIP_SET_WAKE | IRQCHIP_PIPELINE_SAFE;
215
215
 
216
216
 		ct->regs.enable = INTC_MIR_CLEAR0 + 32 * i;
217
217
 		ct->regs.disable = INTC_MIR_SET0 + 32 * i;