Don't unconditionally show ChromeOS options
authorStefan Reinauer <stefan.reinauer@coreboot.org>
Tue, 3 Apr 2012 18:22:15 +0000 (11:22 -0700)
committerStefan Reinauer <stefan.reinauer@coreboot.org>
Tue, 3 Apr 2012 22:36:27 +0000 (00:36 +0200)
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 <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/848
Reviewed-by: Martin Roth <martin@se-eng.com>
Tested-by: build bot (Jenkins)
Reviewed-by: Mathias Krause <minipli@googlemail.com>

No differences found