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