FreeBSD 13-CURRENT on Rock Pi4

[simernes]

@jontheil
Thanks for the updates, they are very helpful! Did you get wifi/bluetooth working?

[SleepWalker]

A quick update:

Eventually I got the board booting into FreeBSD 14-CURRENT. I had to build the rk3399-rock-pi-4b.dtb myself. After copying this to the EFI partition at /EFI/dtb/rockchip I was able to boot the system.

The details of building the missing module can be seen at FreeBSD Bugzilla .

I also succeeded in installing FreeBSD 13.1-RELEASE the same way.

Not all of the hardware is working for me at the moment. I guess I have to read up on the differences between the 4b and the SE version.

What doesn’t work on SE?

[jontheil]

Sorry, I did not see this until now. The short (and the long) answer is no.