[coreboot-gerrit] Patch merged into coreboot/master: b690cdb Add option to disable ChromeOS

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b690cdb6f4a0621061adfef96d7e1b128f054825
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Thu Oct 17 16:38:25 2013 +0300

    Add option to disable ChromeOS
    
    Those building Chromebook firmware from coreboot git might be more
    interested in building without ChromeOS extras.
    
    Change-Id: I2f176d059fd45bf4eb02cc0f3f1dcc353095d0ce
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>


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

-gerrit