Booting FreeBSD on Rock64

[Denis Polygalov]

> On 16/07/2019 3:01 am, Emmanuel Vadot wrote:
>   How did you setup the boot ?

download u-boot-flash-spi-rock64.img.xz from here:
https://github.com/ayufan-rock64/linux-u-boot/releases
and flash it. Remove the microSD card.
Setup tftp server and nfs servers.
Reset the board, interrupt u-boot and switch to manual mode.
Then type in terminal:
dhcp
tftpboot ${kernel_addr_r} boot/loader.efi
tftpboot ${fdt_addr_r} boot/dtb/rockchip/rk3399-rockpro64.dtb
bootefi ${kernel_addr_r} ${fdt_addr_r}


>   Do you have tftpd running so u-boot can download the loader and the
> dtb ?

yes, I do and I can see in the tftp server logs that both
boot/loader.efi
and boot/dtb/rockchip/rk3399-rockpro64.dtb
are downloaded successfully.

>   If you don't have the dtb in $TFTPDIR/dtb/rockchip/ that might be the
> problem, I recall the dtb included in u-boot being incomplete.

I'm using  dtb that is included into the
FreeBSD-13.0-CURRENT-arm64-aarch64-20190711-r349909-memstick.img


>   I've just booted mine after updating to r350003+c99cb2e79ed6
> without a problem.
> 

Well, I don't see image of this release on the FreeBSD.org server.
I guess you mean you compile it from source by yourself?

> On 16/07/2019 4:49 am, Peter Jeremy wrote:
>> I'm running a Rock64 with
>> U-Boot SPL 2017.09-rockchip-ayufan-1035-gd646df03ac (Oct 26 2018 - 08:35:43)
>> and booting FreeBSD diskless.

I tried this old 1035 u-boot. No luck, same problem.

Regards,
Denis.