A few more comments. Sorry for the flood, just want to get things working.
I can confirm the board boots Windows 10 just fine (tested with Tianocore)
though I couldn't get all the drivers sorted out and it won't boot off of
the SD card like the stock firmware would (even after telling the ACPI table
to make the SD card not removable). Ubuntu 20.04 runs great with no known
issues booting off of the SD card (so long as the devicetree.cb says 0 to
setting ACPI mode, again I tested with Tianocore as the payload). A
handful of devices show when I do lspci that aren't present in the stock
firmware (and contribute to some of the Windows driver issues) but they
don't appear to hurt anything or cause errors in dmesg.

View Change

3 comments:

To view, visit change 44102. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I9a1236425c8a0914f92adcad445230ef2692393a
Gerrit-Change-Number: 44102
Gerrit-PatchSet: 3
Gerrit-Owner: Arthur Heymans <arthur@aheymans.xyz>
Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>
Gerrit-Reviewer: Martin Roth <martinroth@google.com>
Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>
Gerrit-Reviewer: Patrick Rudolph <siro@das-labor.org>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-CC: Name of user not set #1002789
Gerrit-CC: Paul Menzel <paulepanter@users.sourceforge.net>
Gerrit-Comment-Date: Fri, 07 Aug 2020 14:27:06 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Gerrit-MessageType: comment