Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 19 Dec 2019 12:54:19 +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:  <20191219125419.bbb524b3363df02753e70681@bidouilliste.com>
In-Reply-To: <c72c6a43-2821-4fd8-8cea-7e9b821a247a@localhost>
References:  <CA%2BPGaYB4_ef2xgdNv=0ZfHJXFOHTt4UgCgM02cZi1s5vo%2BaVXw@mail.gmail.com> <3435d140-d1cb-4bb0-85c6-d83d1c695f09@localhost> <20191218113348.b85815b7ebbb450aaaaf3536@bidouilliste.com> <c72c6a43-2821-4fd8-8cea-7e9b821a247a@localhost>

next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, 18 Dec 2019 13:48:54 +0000 (UTC)
Greg V <greg@unrelenting.technology> wrote:

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

 Doesn't the pci controller needs some setup to have access to the usb
controller ? I don't know if u-boot supports PCI yet but booting EDK2
in fdt mode might work.

-- 
Emmanuel Vadot <manu@bidouilliste.com>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20191219125419.bbb524b3363df02753e70681>