[coreboot-gerrit] Patch merged into coreboot/master: arch/arm64: Override bl31 timestamp with coreboot build timestamp

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit dcc3ecc940e95cb6a97dbea203d3680f67910b59
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Thu Jan 28 15:00:54 2016 +0100

    arch/arm64: Override bl31 timestamp with coreboot build timestamp
    
    If coreboot's build process is reproducible (eg. using the latest git
    timestamp as source), bl31 is, too.
    
    This requires an arm-trusted-firmware side merge first (in progress) and
    an update of our reference commit for the submodule, but it also doesn't
    hurt anything because it merely sets a variable that currently goes
    unused.
    
    Change-Id: If139538a2fab5b3a70c67f4625aa2596532308f7
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: https://review.coreboot.org/13497
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexander Couzens <lynxis at fe80.eu>


See https://review.coreboot.org/13497 for details.

-gerrit