diff options
| author | Nico Huber <nico.huber@secunet.com> | 2017-05-22 13:22:09 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2017-06-08 14:31:43 +0200 |
| commit | 26ce9af9a04ae282ff7c186eac0476f13a37cfa0 (patch) | |
| tree | 543b7ea904c49ddee9389efe38e8254e61a39808 /util/lint/lint-stable-017-configs | |
| parent | eb881d46e2aa13e0c11bcbd029c4368f71cd85c9 (diff) | |
device/Kconfig: Introduce MAINBOARD_FORCE_NATIVE_VGA_INIT
MAINBOARD_FORCE_NATIVE_VGA_INIT is to be selected instead of the user
option MAINBOARD_DO_NATIVE_VGA_INIT. The distinction is necessary to
use the latter in a choice.
Change-Id: I689aa5cadea9e1091180fd38b1dc093c6938d69c
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/19813
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-stable-017-configs')
0 files changed, 0 insertions, 0 deletions