Booting FreeBSD on Rock64

[Denis Polygalov]

>   BTW there is a new u-boot-rock64 port that you might want to use, you
> can boot from sdcard now.
> 

I can confirm that the /usr/ports/sysutils/u-boot-rock64
works for me. The only thing I've noticed is that the u-boot
from ports does not read real MAC address from my board and
assign random one during each boot instead.
I'm not sure is this a bug or a future...
So my complete set of commands to manually boot ROCK64 is:

=> env set ethaddr 82:d6:05:XX:XX:XX
=> dhcp
=> tftpboot ${kernel_addr_r} boot/loader.efi
=> tftpboot ${fdt_addr_r} boot/dtb/rockchip/rk3328-rock64.dtb
=> fdt addr ${fdt_addr_r}
=> bootefi ${kernel_addr_r} ${fdt_addr_r}

Note that seems like the 'fdt addr' is essential here,
as distinct of ayufun's u-boot where it had no effect (for me at least).

You also need to connect pin 21 to GND in order to prevent
execution of the SPI (wrong one) u-boot.

Thanks a lot!
Denis.