add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/proc.c
..
..
@@ -518,6 +518,9 @@
518
518
 #ifdef CONFIG_GENERIC_IRQ_SHOW_LEVEL
519
519
 	seq_printf(p, " %-8s", irqd_is_level_type(&desc->irq_data) ? "Level" : "Edge");
520
520
 #endif
521
+#ifdef CONFIG_IRQ_PIPELINE
522
+	seq_printf(p, " %-3s", irq_settings_is_oob(desc) ? "oob" : "");
523
+#endif
521
524
 	if (desc->name)
522
525
 		seq_printf(p, "-%-8s", desc->name);
523
526