the following patch was just integrated into master:
commit 89b0a39450aa1e4d7d91f2bad7d2802833789e55
Author: Stefan Reinauer <[email protected]>
Date: Tue Apr 3 11:22:15 2012 -0700
Don't unconditionally show ChromeOS options
Google ChromeOS specific options were shown in the main menu
unconditionally, even on non-ChromeOS devices. Instead, hide
these options unless CONFIG_CHROMEOS is set, and also put them
in a separate menu.
Change-Id: I75f533ed5046d6df4f7d959a0ca4c2441340ef2f
Signed-off-by: Stefan Reinauer <[email protected]>
Build-Tested: build bot (Jenkins) at Tue Apr 3 21:20:40 2012, giving +1
See http://review.coreboot.org/848 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot