[coreboot-gerrit] New patch to review for coreboot: 8cc9ce3 exynos5: select HAVE_MONOTONIC_TIMER

[David Hendricks (dhendrix@chromium.org)]

David Hendricks (dhendrix at chromium.org) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3210

-gerrit

commit 8cc9ce33b3029a4926ca0e73954424d2d7b1e857
Author: David Hendricks <dhendrix at chromium.org>
Date:   Mon May 6 16:12:20 2013 -0700

    exynos5: select HAVE_MONOTONIC_TIMER
    
    We have the monotonic timer implemented on exynos now, and this
    also enables helpful bootstage prints with timing info.
    
    Change-Id: I3baa4c9d70d4b4d059abd5e05eddcabd5258dbfd
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
---
 src/cpu/samsung/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cpu/samsung/Kconfig b/src/cpu/samsung/Kconfig
index 92b6460..9e2ec4c 100644
--- a/src/cpu/samsung/Kconfig
+++ b/src/cpu/samsung/Kconfig
@@ -1,5 +1,6 @@
 config CPU_SAMSUNG_EXYNOS5
 	depends on ARCH_ARMV7
+	select HAVE_MONOTONIC_TIMER
 	select HAVE_UART_SPECIAL
 	select DEFAULT_EARLY_CONSOLE
 	bool