diff --git a/drivers/timer/Kconfig.x86 b/drivers/timer/Kconfig.x86 index 8e82580eb72..58d0fc24519 100644 --- a/drivers/timer/Kconfig.x86 +++ b/drivers/timer/Kconfig.x86 @@ -5,7 +5,7 @@ choice prompt "Default System Timer" - default HPET + default APIC_TSC_DEADLINE_TIMER depends on X86 help Select Default System Timer.