add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/lib/vdso/Kconfig
..
..
@@ -30,4 +30,12 @@
30
30
 	  Selected by architectures which support time namespaces in the
31
31
 	  VDSO
32
32
 
33
+config GENERIC_CLOCKSOURCE_VDSO
34
+        depends on ARM || ARM64
35
+        select CLKSRC_MMIO
36
+	bool
37
+	help
38
+	   Enables access to clocksources via the vDSO based on
39
+	   generic MMIO operations.
40
+
33
41
 endif