add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/sched/sched.h
..
..
@@ -52,6 +52,8 @@
52
52
 #include <linux/membarrier.h>
53
53
 #include <linux/migrate.h>
54
54
 #include <linux/mmu_context.h>
55
+#include <linux/irq_pipeline.h>
56
+#include <linux/dovetail.h>
55
57
 #include <linux/nmi.h>
56
58
 #include <linux/proc_fs.h>
57
59
 #include <linux/prefetch.h>