How to boot freebsd on rpi4b?

[Greg V]

Dec 18, 2019 1:33:53 PM Emmanuel Vadot :

> On Wed, 18 Dec 2019 10:11:27 +0000 (UTC)
> Greg V 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.

You can also add the same address as a generic-xhci fdt node, right? assuming uboot does power on the controller.. or fdt mode can be set in edk2 I guess