Change in libgfxinit[master]: Add support to switch LSPCON modes - coreboot-gerrit

11 May 2021


      Attention is currently required from: Martin Roth, Matt DeVillier, Angel Pons.
Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/libgfxinit/+/51133 )
Change subject: Add support to switch LSPCON modes
......................................................................
Patch Set 12:
(1 comment)
File common/hw-gfx-dp_dual_mode.adb:
https://review.coreboot.org/c/libgfxinit/+/51133/comment/4161666c_4ad76ca8 
PS11, Line 87:       end case;
...
SPARK still complains 😭
Wasn't sure. What is missing would be a contract for the HW.Debug procedures
that makes side-effects visible to SPARK.
-- 
To view, visit https://review.coreboot.org/c/libgfxinit/+/51133
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-Change-Id: Idfa9bdff47a6591000cd5092d64a4cd4f8dbdc8d
Gerrit-Change-Number: 51133
Gerrit-PatchSet: 12
Gerrit-Owner: Angel Pons th3fanbus@gmail.com
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Reviewer: Martin Roth martinroth@google.com
Gerrit-Reviewer: Matt DeVillier matt.devillier@gmail.com
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Patrick Georgi pgeorgi@google.com
Gerrit-CC: Paul Menzel paulepanter@mailbox.org
Gerrit-Attention: Martin Roth martinroth@google.com
Gerrit-Attention: Matt DeVillier matt.devillier@gmail.com
Gerrit-Attention: Angel Pons th3fanbus@gmail.com
Gerrit-Comment-Date: Tue, 11 May 2021 12:11:10 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Nico Huber nico.h@gmx.de
Comment-In-Reply-To: Angel Pons th3fanbus@gmail.com
Gerrit-MessageType: comment