[coreboot-gerrit] Patch merged into coreboot/master: util/docker: Add docker files for coreboot-sdk & jenkins builders

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit f75d1dfad3691562110a70523ad892b8fa480064
Author: Martin Roth <martinroth at google.com>
Date:   Mon May 16 11:27:56 2016 -0600

    util/docker: Add docker files for coreboot-sdk & jenkins builders
    
    Add the coreboot specific docker configuration files to the coreboot
    repo.  These have been copied directly from Patrick's repo where they
    had been being stored.
    
    - coreboot-sdk: debian sid with the coreboot toolchain
    - coreboot-jenkins-node: built on top of the coreboot-sdk, adds the
    pieces required for building everything with the coreboot jenkins
    builders.
    
    Change-Id: I8628d4edb298264e814e02e124a8bfb4bc04e0c7
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/14830
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexander Couzens <lynxis at fe80.eu>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit