[coreboot-gerrit] Patch merged into coreboot/master: 127525c coreboot: add memory pool infrastructure

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 127525c772f82a214a13899a344c5fa24f4f10a8
Author: Aaron Durbin <adurbin at chromium.org>
Date:   Thu Mar 26 12:29:12 2015 -0500

    coreboot: add memory pool infrastructure
    
    The memory pool infrastructure provides an allocator with
    very simple free()ing semantics: only the most recent allocation
    can be freed from the pool. However, it can be reset and when
    not used any longer providing the entire region for future
    allocations.
    
    Change-Id: I5ae9ab35bb769d78bbc2866c5ae3b5ce2cdce5fa
    Signed-off-by: Aaron Durbin <adurbin at chromium.org>
    Reviewed-on: http://review.coreboot.org/9129
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/9129 for details.

-gerrit