Change in coreboot[master]: arch/x86: Write ACPI DBG2 table only if the device has been enabled - coreboot-gerrit

21 Nov 2017


      build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22552 )
Change subject: arch/x86: Write ACPI DBG2 table only if the device has been enabled
......................................................................
Patch Set 1: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-checkpatch/18515/ : SUCCESS
https://qa.coreboot.org/job/coreboot-gerrit/63615/ : SUCCESS
-- 
To view, visit https://review.coreboot.org/22552
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I56ce44ae0cf77916fcb640f79fb8944fe33177cd
Gerrit-Change-Number: 22552
Gerrit-PatchSet: 1
Gerrit-Owner: Mario Scheithauer mario.scheithauer@siemens.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Comment-Date: Tue, 21 Nov 2017 13:16:42 +0000
Gerrit-HasComments: No