[coreboot-gerrit] Patch merged into coreboot/master: console: Change CONFIG_CHROMEOS requirement from do_printk_va_list()
gerrit at coreboot.org
gerrit at coreboot.org
Tue Aug 16 23:14:34 CEST 2016
the following patch was just integrated into master:
commit 4f79e6618519fa1aa8e8afaac57fc7dbfeeb4484
Author: Julius Werner <jwerner at chromium.org>
Date: Mon Aug 15 16:14:15 2016 -0700
console: Change CONFIG_CHROMEOS requirement from do_printk_va_list()
CONFIG_VBOOT was recently moved to be independent from CONFIG_CHROMEOS.
Change the code guard for do_printk_va_list() accordingly, since it's
used by vboot (not Chrome OS) code.
Change-Id: I44e868d2fd8e1368eeda2f10a35d0a2bd7259759
Signed-off-by: Julius Werner <jwerner at chromium.org>
Reviewed-on: https://review.coreboot.org/16230
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
Reviewed-by: Aaron Durbin <adurbin at chromium.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
See https://review.coreboot.org/16230 for details.
-gerrit
More information about the coreboot-gerrit
mailing list