New patch to review for coreboot: 8cc9ce3 exynos5: select HAVE_MONOTONIC_TIMER

[David Hendricks]

David Hendricks ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3210

-gerrit

commit 8cc9ce33b3029a4926ca0e73954424d2d7b1e857
Author: David Hendricks 
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 
---
 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