1 files changed, 6 insertions, 0 deletions

diff --git a/arch/x86_64/Kconfig b/arch/x86_64/Kconfig
index 520f33b83bfc..a9534c21c306 100644
--- a/arch/x86_64/Kconfig
+++ b/arch/x86_64/Kconfig
@@ -40,6 +40,10 @@ config CLOCKSOURCE_WATCHDOG
         bool
         default y
 
+config GENERIC_CLOCKEVENTS_MIGR
+        bool
+        default y
+
 config ZONE_DMA32
         bool
         default y
@@ -134,6 +138,8 @@ source "init/Kconfig"
 
 menu "Processor type and features"
 
+source "kernel/time/Kconfig"
+
 choice
         prompt "Subarchitecture Type"
         default X86_PC