Change in coreboot[master]: device/Kconfig: hide display menu when NO_GFX_INIT is selected

[Michael Niewöhner (Code Review)]

Michael Niewöhner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36444 )

Change subject: device/Kconfig: hide display menu when NO_GFX_INIT is selected
......................................................................


Uploaded patch set 4.


-- 
To view, visit https://review.coreboot.org/c/coreboot/+/36444
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Iec5a47f84b8c776a45edc6f4b31a03b9ac714b4e
Gerrit-Change-Number: 36444
Gerrit-PatchSet: 4
Gerrit-Owner: Michael Niewöhner
Gerrit-Reviewer: Arthur Heymans <[e-mail]>
Gerrit-Reviewer: Michael Niewöhner
Gerrit-Reviewer: Nico Huber <[e-mail]>
Gerrit-Reviewer: Patrick Georgi <[e-mail]>
Gerrit-Reviewer: Patrick Rudolph <[e-mail]>
Gerrit-Reviewer: build bot (Jenkins) <[e-mail]>
Gerrit-CC: Paul Menzel <[e-mail]>
Gerrit-Comment-Date: Fri, 01 Nov 2019 10:41:50 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment