Change in coreboot[4.11_branch]: drivers/ipmi: Add IPMI get system GUID support - coreboot-gerrit

27 Nov 2019


      David Hendricks has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/37085 )
Change subject: drivers/ipmi: Add IPMI get system GUID support
......................................................................
Patch Set 2: Code-Review+2
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/37085
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: 4.11_branch
Gerrit-Change-Id: I541a23341ccce3d45239babb3f0a8a8c8542b226
Gerrit-Change-Number: 37085
Gerrit-PatchSet: 2
Gerrit-Owner: Johnny Lin
Gerrit-Reviewer: Andrey Petrov andrey.petrov@gmail.com
Gerrit-Reviewer: David Hendricks david.hendricks@gmail.com
Gerrit-Reviewer: Jingle Hsu
Gerrit-Reviewer: Johnny Lin
Gerrit-Reviewer: Jonathan Zhang jonzhang@fb.com
Gerrit-Reviewer: Morgan Jang
Gerrit-Reviewer: Patrick Rudolph patrick.rudolph@9elements.com
Gerrit-Reviewer: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Reviewer: Sven Schnelle svens@stackframe.org
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Comment-Date: Wed, 27 Nov 2019 19:24:43 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment