add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/include/asm/vdso.h
..
..
@@ -13,6 +13,11 @@
13
13
 #define VDSO_LBASE	0x0
14
14
 
15
15
 #define __VVAR_PAGES    2
16
+#ifdef CONFIG_GENERIC_CLOCKSOURCE_VDSO
17
+#define __VPRIV_PAGES   1
18
+#else
19
+#define __VPRIV_PAGES   0
20
+#endif
16
21
 
17
22
 #ifndef __ASSEMBLY__
18
23