From b28b6b53cc51fef83eb290e746c91afcddc6eb49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ky=C3=B6sti=20M=C3=A4lkki?= <kyosti.malkki@gmail.com>
Date: Mon, 1 Jul 2019 15:38:25 +0300
Subject: arch/x86: Flip HAVE_MONOTONIC_TIMER default
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Change-Id: Id56139a3d0840684b13179821a77bc8ae28e05ae
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34113
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
---
 src/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Kconfig')

diff --git a/src/Kconfig b/src/Kconfig
index f79a3904af..b64fdca4ee 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -507,7 +507,7 @@ config NO_MONOTONIC_TIMER
 config HAVE_MONOTONIC_TIMER
 	bool
 	depends on !NO_MONOTONIC_TIMER
-	default y if !ARCH_X86
+	default y
 	help
 	 The board/chipset provides a monotonic timer.
 
-- 
cgit v1.2.3