--- zzzz-none-000/linux-4.9.276/drivers/clocksource/Kconfig	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/drivers/clocksource/Kconfig	2023-04-05 08:19:01.000000000 +0000
@@ -486,7 +486,7 @@
 	  platforms.
 
 config CLKSRC_MIPS_GIC
-	bool
+	bool "MIPS GIC clock source"
 	depends on MIPS_GIC
 	select CLKSRC_OF
 
@@ -507,6 +507,20 @@
 	  This enables OST0 support available on PXA and SA-11x0
 	  platforms.
 
+config INTEL_GPTC
+	bool "Intel generic purpose timer support"
+	depends on GENERIC_CLOCKEVENTS
+	select CLKSRC_OF
+	help
+	  This enables external clock source (GPTC) for intel gateway SoC
+
+config GPTC_SCHED_CLOCK
+	bool "Use GPTC clock source as schedule clock"
+	depends on INTEL_GPTC && X86
+	help
+	  This enables gptc clock source as schedule clock which will be
+	  used in trace and other functions
+
 config H8300_TMR8
         bool "Clockevent timer for the H8300 platform" if COMPILE_TEST
         depends on GENERIC_CLOCKEVENTS && HAS_IOMEM