add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/gpio/gpio-davinci.c
..
..
@@ -326,7 +326,7 @@
326
326
 	.irq_enable	= gpio_irq_enable,
327
327
 	.irq_disable	= gpio_irq_disable,
328
328
 	.irq_set_type	= gpio_irq_type,
329
-	.flags		= IRQCHIP_SET_TYPE_MASKED,
329
+	.flags		= IRQCHIP_SET_TYPE_MASKED | IRQCHIP_PIPELINE_SAFE,
330
330
 };
331
331
 
332
332
 static void gpio_irq_handler(struct irq_desc *desc)