Felix Singer has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/43871 )
Change subject: device/device.h: Add `is_dev_enabled` function
......................................................................
Patch Set 1: Code-Review+2
--
To view, visit
https://review.coreboot.org/c/coreboot/+/43871
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I5515a52458b6c78c1a723cb08e6471eb9bac9cd6
Gerrit-Change-Number: 43871
Gerrit-PatchSet: 1
Gerrit-Owner: Angel Pons
th3fanbus@gmail.com
Gerrit-Reviewer: Felix Singer
felixsinger@posteo.net
Gerrit-Comment-Date: Sat, 25 Jul 2020 14:17:46 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment