Attempt to update Rock64 to head -r355976 failed to boot afterwards, anyone have a recent FreeBSD booting a Rock64?

[Greg V]

Dec 23, 2019 8:15:11 AM Klaus Küchemann via freebsd-arm :

> Unfortunately I don’t own a MACCHIATObin so don’t know if that machine is fbsd-bootable by Kurt`s uboot-2019.10

There is no good reason to use u-boot on a machine that has excellent support in upstream TianoCore EDK2.

Think of the MACCHIATObin as the most affordable way to get out of the u-boot/fdt embedded hell and into the wonderful SBSA land :)

> > One place were I do not have such is the MACCHIATObin
> > Double Shot's ACPI information: That is from software
> > outside the FreeBSD ports.
As
The whole point of ACPI is to get the hell away from OS-specific anything and embrace standards.

But sure, my mcbin firmware fork does have a couple hacks, one FreeBSD-oriented-sort-of (fixing SPCR to describe the UART correctly, which FreeBSD understands – upstream it's intentionally wrong to satisfy Linux) and one PCIe-device-oriented (the hardware is messed up, devices can get duplicated into many slots, so upstream moved the base address to only expose the last slot – but many modern devices like the RX 480 do NOT get duplicated (!!) so I removed the shift to get FreeBSD to see the GPU).

Long term "when I have time" plan is to make this configurable from the setup UI on the system, but for now..

I guess for now if I were to write a Port for building the firmware, I could make these port options.

I'll try making a port soon maybe.