[coreboot-gerrit] Patch merged into coreboot/master: 5ec69ed exynos5250: monotonic timer implementation (using MCT)

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5ec69ed884852426e17439263e3678c5dfbc71e7
Author: David Hendricks <dhendrix at chromium.org>
Date:   Thu May 2 13:23:08 2013 -0700

    exynos5250: monotonic timer implementation (using MCT)
    
    This implements the new monotonic timer API using the global
    multi-core timer (MCT).
    
    Change-Id: Id56249ff5d3e0f85808f5754954c83c0bc75f1c1
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/3175
    Reviewed-by: Aaron Durbin <adurbin at google.com>
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Fri May  3 06:19:27 2013, giving +1
See http://review.coreboot.org/3175 for details.

-gerrit