From d6035f4a26e08ca6ca2b875f84910865fea1d43d Mon Sep 17 00:00:00 2001
From: Andrei Emeltchenko <andrei.emeltchenko@intel.com>
Date: Wed, 11 Oct 2023 12:23:04 +0300
Subject: [PATCH] drivers: timer: Select APIC_TSC_DEADLINE_TIMER by default

Select APIC_TSC_DEADLINE_TIMER as default timer for x86.

Signed-off-by: Andrei Emeltchenko <andrei.emeltchenko@intel.com>
---
 drivers/timer/Kconfig.x86 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.