How to boot freebsd on rpi4b?

[Greg V]

Dec 17, 2019 4:51:00 AM ykla :

> Hi, I download latest version 12.12 current 13 img and write in TF card.
> Then I download rpi-firmware(2019-12-05 16:15:16) and extract and copy it
> in BOOT partition. And look at my screen shows me that stop boot on lo0
> state. I know it can't support USB/PCI/ethernet and I just want to install
> it. Thanks.

USB should be relatively easy to add by the way. No need for actual PCIe support, we can directly use it as a memory mapped generic XHCI:

https://github.com/pftf/edk2-platforms/commit/5779a50fd5a001f496fe5d9744a06e75762ba58c