[coreboot-gerrit] Patch merged into coreboot/master: 172d335 util: Add miniconfig, a script to minimize coreboot configurations

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 172d33594e233edb4c283bd08ea701986aa01d7a
Author: Stefan Reinauer <stefan.reinauer at coreboot.org>
Date:   Tue Mar 24 21:46:52 2015 +0100

    util: Add miniconfig, a script to minimize coreboot configurations
    
    This script produces a "minimal" configuration from a full coreboot
    configuration, e.g. a configuration file that only contains the differences
    between the default configuration of a board and the input configuration
    file.
    
    Usage: util/kconfig/miniconfig config.big config.mini
    
    This will read config.big and produce config.mini. If you omit config.mini,
    config.big will be changed in place.
    
    Minimal configurations are easier to read and more robust when reusing
    them among different versions of coreboot as they reflect exactly the
    changes made to the default configuration instead of a full snapshot
    of all configuration options.
    
    Change-Id: Ifbee49e0192c2c557b18bcc1a92fe2a5d5164a3a
    Signed-off-by: Stefan Reinauer <stefan.reinauer at coreboot.org>
    Reviewed-on: http://review.coreboot.org/8974
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin <adurbin at google.com>


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

-gerrit