Date: Wed, 18 Dec 2019 13:48:54 +0000 (UTC) From: Greg V <greg@unrelenting.technology> To: Emmanuel Vadot <manu@bidouilliste.com> Cc: ykla <yklaxds@gmail.com>, freebsd-arm@freebsd.org Subject: Re: How to boot freebsd on rpi4b? Message-ID: <c72c6a43-2821-4fd8-8cea-7e9b821a247a@localhost> In-Reply-To: <20191218113348.b85815b7ebbb450aaaaf3536@bidouilliste.com> References: <CA%2BPGaYB4_ef2xgdNv=0ZfHJXFOHTt4UgCgM02cZi1s5vo%2BaVXw@mail.gmail.com> <3435d140-d1cb-4bb0-85c6-d83d1c695f09@localhost> <20191218113348.b85815b7ebbb450aaaaf3536@bidouilliste.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?c72c6a43-2821-4fd8-8cea-7e9b821a247a>