add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/irq/debug.h
..
..
@@ -33,6 +33,8 @@
33
33
 	___P(IRQ_NOREQUEST);
34
34
 	___P(IRQ_NOTHREAD);
35
35
 	___P(IRQ_NOAUTOEN);
36
+	___P(IRQ_OOB);
37
+	___P(IRQ_CHAINED);
36
38
 
37
39
 	___PS(IRQS_AUTODETECT);
38
40
 	___PS(IRQS_REPLAY);