Re: Need testers for ALPHA RPi-5 fan control, GE NIC, WiFi drivers for FreeBSD-CURRENT

On 6/5/26 19:34, Jeremy McMillan wrote:
> Thanks for the attention, but I really must apologize this codebase
> isn't clean. The INTEGRATION_GUIDE.md is horribly out of date and the
> actual implementation in the current version hardcodes the PWM
> addresses. The FDT is provided by the NumberOneGit/rpi5-uefi
> distribution.

Years ago I had my nose in the RPi4B support in the FreeBSD kernel. It
has lots of hard coded addresses and such that are not live-pulled from
the FDT information. In fact, when the C0 stepping was released that
fixed what had required bounce buffers to allow > 3 GiBytes of RAM and
the live FDT no longer used address arrangement tied to the issue,
FreeBSD continued to work the same old way, with the same addresses,
still doing bounce buffers as if such was a B0 stepping RPi4B. (That was
a U-Boot context of official use.) The same was true of the EDK2 for the
RPI4B: as if it was a B0 stepping.)

[I never figured out enough to make not having the bounce buffers active
operate in a reliable way. I had hoped to eliminate the overhead.]

[Later FreeBSD's kernel got code that detected that that EDK2 was
providing some device addresses where arm addresses should have been
provided. The resulting overlapping reserved ranges are rejected and
lead to a panic as a form of handling the error. So that EDK2 is no
longer operational for FreeBSD use.]

> 
> On Thu, 2026-06-04 at 19:39 -0700, Mark Millard wrote:
>> . . .
> 
> I will clean up the repo some this weekend and push that to reduce this
> kind of confusion in the future.
> 
> 
> 


-- 
===
Mark Millard
marklmi at yahoo.com