add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/drivers/clocksource/Kconfig
..
..
@@ -25,6 +25,7 @@
25
25
 config OMAP_DM_TIMER
26
26
 	bool
27
27
 	select TIMER_OF
28
+	imply GENERIC_CLOCKSOURCE_VDSO
28
29
 
29
30
 config CLKBLD_I8253
30
31
 	def_bool y if CLKSRC_I8253 || CLKEVT_I8253 || I8253_LOCK
..
..
@@ -58,6 +59,8 @@
58
59
 
59
60
 config DW_APB_TIMER
60
61
 	bool "DW APB timer driver" if COMPILE_TEST
62
+        select CLKSRC_MMIO
63
+	imply GENERIC_CLOCKSOURCE_VDSO
61
64
 	help
62
65
 	  Enables the support for the dw_apb timer.
63
66
 
..
..
@@ -395,6 +398,7 @@
395
398
 config ARM_GLOBAL_TIMER
396
399
 	bool "Support for the ARM global timer" if COMPILE_TEST
397
400
 	select TIMER_OF if OF
401
+	imply GENERIC_CLOCKSOURCE_VDSO
398
402
 	depends on ARM
399
403
 	help
400
404
 	  This option enables support for the ARM global timer unit.
..
..
@@ -444,6 +448,7 @@
444
448
 config CLKSRC_EXYNOS_MCT
445
449
 	bool "Exynos multi core timer driver" if COMPILE_TEST
446
450
 	depends on ARM || ARM64
451
+	imply GENERIC_CLOCKSOURCE_VDSO
447
452
 	help
448
453
 	  Support for Multi Core Timer controller on Exynos SoCs.
449
454
 
..
..
@@ -620,7 +625,7 @@
620
625
 config CLKSRC_IMX_GPT
621
626
 	bool "Clocksource using i.MX GPT" if COMPILE_TEST
622
627
 	depends on (ARM || ARM64) && CLKDEV_LOOKUP
623
-	select CLKSRC_MMIO
628
+	imply GENERIC_CLOCKSOURCE_VDSO
624
629
 
625
630
 config CLKSRC_IMX_TPM
626
631
 	bool "Clocksource using i.MX TPM" if COMPILE_TEST
..
..
@@ -642,7 +647,7 @@
642
647
 	bool "Low power clocksource found in the LPC" if COMPILE_TEST
643
648
 	select TIMER_OF if OF
644
649
 	depends on HAS_IOMEM
645
-	select CLKSRC_MMIO
650
+	imply GENERIC_CLOCKSOURCE_VDSO
646
651
 	help
647
652
 	  Enable this option to use the Low Power controller timer
648
653
 	  as clocksource.