How to boot freebsd on rpi4b?

Wed Dec 18 10:34:01 UTC 2019

On Wed, 18 Dec 2019 10:11:27 +0000 (UTC)
Greg V <greg at unrelenting.technology> wrote:

> 
> 
> 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

 That would mean booting in ACPI mode on RPI4 which nobody tested and
also adding ACPI support to all RPI related driver which will take some
time to do.

-- 
Emmanuel Vadot <manu at bidouilliste.com> <manu at freebsd.org>