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

[Mark Millard]

On 2019-Dec-23, at 06:38, Emmanuel Vadot <manu at bidouilliste.com> wrote:

> On Sun, 22 Dec 2019 15:06:08 -0800
> Mark Millard <marklmi at yahoo.com> wrote:
> 
>> . . .
>> 
>> The following forced the desired .dtb to be used:
>> 
>> # more /boot/loader.conf 
>> . . .
>> rk3328_rock64_load="YES"
>> rk3328_rock64_type="dtb"
>> rk3328_rock64_name="/boot/dtb/rockchip/rk3328-rock64.dtb"
>> . . .
> 
> You need to put the dtb in the ESP partition under /efi/dtb/rockchip
> U-Boot dtb is sometimes different than the one we use for the kernel.
> 

I'll experiment with such, likely later today, thanks.

Is there someplace that notes such a need, some directions
to follow?

Right now the only places that seem to fit would be
adding some "how to use this u-boot" notes to the likes
of:

/usr/local/share/u-boot/u-boot-*/README

I supposed where there is someplace somewhat
analogous to:

/usr/local/share/rpi-firmware/

that it might be a place to have such notes.

===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)