Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 11 Jan 2024 08:56:28 -0800
From:      Mark Millard <marklmi@yahoo.com>
To:        Doug Rabson <dfr@rabson.org>
Cc:        Jesper Schmitz Mouridsen <jsm@freebsd.org>, John Kennedy <warlock@phouka.net>, ykla <yklaxds@gmail.com>, FreeBSD ARM List <freebsd-arm@freebsd.org>
Subject:   Re: When will FreeBSD support RPI5?
Message-ID:  <ECBFBAEF-C35B-4C68-B9BF-C3B62E5A4DFE@yahoo.com>
In-Reply-To: <CACA0VUg7XHtQ7nviXVUZ_dZGaPe2uhbT-eGRbMAOajqZLGDmew@mail.gmail.com>
References:  <CA%2BPGaYC6__AZUgHqfv3PO-o=7FnEzRzTPGPhMuahFNdcN0D69A@mail.gmail.com> <ddbf131c-1f2c-424b-9a3f-54ded16c5123@FreeBSD.org> <ZZHC_SjrPgs3DMKe@phouka1.phouka.net> <5a39810c-5fd8-4969-a222-2561b050b035@FreeBSD.org> <CACA0VUjoTTVje7tQe%2BVHXPco_xs4C8vSB3P3eDnhuYJYSqc7Sw@mail.gmail.com> <A2CA16F2-9894-41F2-8035-A5E8BE271B58@yahoo.com> <CACA0VUg7XHtQ7nviXVUZ_dZGaPe2uhbT-eGRbMAOajqZLGDmew@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Jan 11, 2024, at 08:20, Doug Rabson <dfr@rabson.org> wrote:

>> On Thu, 11 Jan 2024 at 01:30, Mark Millard <marklmi@yahoo.com> wrote:
>> (While I normally use FreeBSD's U-Boot type of context,
>> My builds do have patches to allow RPi4B EDK2 use to
>> avoid the problems that I know to test for.)
>=20
> I'm curious how you were able to boot FreeBSD on rpi4 with EDK2 - I =
tried with both the FreeBSD package as well as the latest release from =
github. FreeBSD-14.0 stalled trying to initialise xhci while FreeBSD-15 =
gets a little further but also hangs before reaching single user mode. =
I'm wondering if perhaps I should use the dtbs from =
sysutils/rpi-firmware rather than the ones from sysutils/edk2@rpi4.

It has been a while since I last tested booting based on
a EDK2-based release from https://github.com/pftf/RPi4/ .
It looks like v1.35 is from 2023-Jun-05. At some point
I'll (re?-)try it.

I used the same style of having EDK2 on a microsd card and
booting my normal USB3 media. The RPi4B is configured to
first try the microsd card slot (usually empty for me) and
then to try USB. I do set things up in EDK2 for serial
console use as primary. (I only rarely connect video to
the RPi*'s that I have access to. Mostly I ssh to them over
ethernet and otherwise use the serial console.)

I've access to RPi4B Rev 1.1, 1.4, and 1.5 examples,
a mix of 4 GiByte and 8 GiByte.

I've never used sysutils/edk2@rpi4 to boot as far as I
remember. My EDK2 activity started long before that
existed and I did not switch.

The RPPi4B EDK2-based releases that I've used were from:

https://github.com/pftf/RPi4/releases/

But there are many releases that I've never tried.

I do use patches to avoid some reliability
problems with USB file I/O . The reliability
problems never interfered with booting and were
only systematically reproducible via generating huge
files. But the problems were originally notice via
buildworld/buildkernel oddities that involved
randomly corrupted files, but not many. The problems
are FreeBSD bugs/incompletenesses in an area not used
with most UEFI/ACPI contexts that FreeBSD supports.


=3D=3D=3D
Mark Millard
marklmi at yahoo.com




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ECBFBAEF-C35B-4C68-B9BF-C3B62E5A4DFE>