Problems booting a MACCHIATObin Double Shot Rev 1.3 with head -r335027

[greg at unrelenting.technology]

December 1, 2019 10:46 PM, "Mark Millard via freebsd-arm" <freebsd-arm at freebsd.org> wrote:

> Note that edk2 is for UEFI. It is configurable for if it hands over
> a dtb vs. ACPI information. Trying ACPI just got a report of the
> dtb being missing. So I continued with the dtb option.

dtb missing is *correct* with ACPI :)

>> You can also enable verbose boot, which might show a tiny little more detail before the hang, but
>> since we don't get to --<BOOT>--, I am not optimistic.

Yep, not getting --<BOOT>-- pretty much always means the serial console is not configured correctly.