diff options
| author | Patrick Rudolph <patrick.rudolph@9elements.com> | 2019-02-04 12:57:05 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-02-08 11:00:45 +0000 |
| commit | a1024ac933e74fa2c607e991be4ee705215f563d (patch) | |
| tree | 4f664d6a1b54fc470ae8c6bffccee0e58254a372 /util/nvidia/Makefile.inc | |
| parent | 8c905a82f5d07ae7936114d392ec897756c0df9d (diff) | |
mb/ocp/wedge100s: Fix devicetree
Match devicetree what's present and in use.
Tested on wedge100s:
All PCI devices show up.
Change-Id: I669d059da1876ed669793db8c7eb1b96b481cb4c
Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com>
Reviewed-on: https://review.coreboot.org/c/31228
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util/nvidia/Makefile.inc')
0 files changed, 0 insertions, 0 deletions