add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/include/linux/mm.h
..
..
@@ -20,6 +20,7 @@
20
20
 #include <linux/pfn.h>
21
21
 #include <linux/percpu-refcount.h>
22
22
 #include <linux/bit_spinlock.h>
23
+#include <linux/dovetail.h>
23
24
 #include <linux/shrinker.h>
24
25
 #include <linux/resource.h>
25
26
 #include <linux/page_ext.h>