add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/kernel/debug-monitors.c
..
..
@@ -232,7 +232,7 @@
232
232
 		return;
233
233
 
234
234
 	if (interrupts_enabled(regs))
235
-		local_irq_enable();
235
+		local_irq_enable_full();
236
236
 
237
237
 	arm64_force_sig_fault(SIGTRAP, si_code, instruction_pointer(regs),
238
238
 			      "User debug trap");