[coreboot-gerrit] Change in coreboot[master]: lib/boot_device: Add API for getting boot device information

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/19701 )

Change subject: lib/boot_device: Add API for getting boot device information
......................................................................


Patch Set 1: Verified-1

Build Failed 

https://qa.coreboot.org/job/coreboot-gerrit/53687/ : FAILURE

https://qa.coreboot.org/job/coreboot-checkpatch/9450/ : SUCCESS

-- 
To view, visit https://review.coreboot.org/19701
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: Ia35fc275a2aacf1cf8a3080d5f0da5dc19284206
Gerrit-PatchSet: 1
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Furquan Shaikh <furquan at google.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-HasComments: No