[coreboot-gerrit] Patch set updated for coreboot: fa3ff81 cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER

[Christian Gmeiner (christian.gmeiner@gmail.com)]

Christian Gmeiner (christian.gmeiner at gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3308

-gerrit

commit fa3ff81f87b13c0399fff57d609a12c0acba23dc
Author: Christian Gmeiner <christian.gmeiner at gmail.com>
Date:   Mon May 27 08:54:25 2013 +0200

    cpu/amd/geode_lx/Kconfig: Select TSC_MONOTONIC_TIMER
    
    The following is an excerpt from serial log of the Bachmann OT200.
    
    $ grep usec coreboot_log
    clocks_per_usec: 500
    Root Device init 48034 usecs
    CPU_CLUSTER: 0 init 133251 usecs
    PCI: 00:01.0 init 33376 usecs
    PCI: 00:01.1 init 9930 usecs
    PCI: 00:01.2 init 9929 usecs
    PCI: 00:04.0 init 9929 usecs
    PCI: 00:0f.0 init 185788 usecs
    PCI: 00:0f.2 init 21473 usecs
    PCI: 00:0f.3 init 9930 usecs
    PCI: 00:0f.4 init 9930 usecs
    PCI: 00:0f.5 init 9930 usecs
    PCI: 00:0f.6 init 9930 usecs
    PCI: 00:0f.7 init 9929 usecs
    
    Change-Id: I4d0805c4cf8fcb25ec107615787fc6da0c945a30
    Signed-off-by: Christian Gmeiner <christian.gmeiner at gmail.com>
---
 src/cpu/amd/geode_lx/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cpu/amd/geode_lx/Kconfig b/src/cpu/amd/geode_lx/Kconfig
index 7deb100..ac59c3f 100644
--- a/src/cpu/amd/geode_lx/Kconfig
+++ b/src/cpu/amd/geode_lx/Kconfig
@@ -6,6 +6,7 @@ if CPU_AMD_GEODE_LX
 config CPU_SPECIFIC_OPTIONS
 	def_bool y
 	select CACHE_AS_RAM
+	select TSC_MONOTONIC_TIMER
 
 config DCACHE_RAM_BASE
 	hex