add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/exit.c
..
..
@@ -14,6 +14,7 @@
14
14
 #include <linux/sched/task_stack.h>
15
15
 #include <linux/sched/cputime.h>
16
16
 #include <linux/interrupt.h>
17
+#include <linux/irq_pipeline.h>
17
18
 #include <linux/module.h>
18
19
 #include <linux/capability.h>
19
20
 #include <linux/completion.h>
..
..
@@ -767,6 +768,7 @@
767
768
 
768
769
 	io_uring_files_cancel();
769
770
 	exit_signals(tsk);  /* sets PF_EXITING */
771
+	inband_exit_notify();
770
772
 
771
773
 	/* sync mm's RSS info before statistics gathering */
772
774
 	if (tsk->mm)