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

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.

On Thu, 2026-06-04 at 19:39 -0700, Mark Millard wrote:
> QUOTE
> Add to your FreeBSD device tree (typically at
> /usr/src/sys/arm64/broadcom/bcm2712-rpi-5-b.dts):
> END QUOTE
>=20
> FreeBSD has never used RPi* device trees based on the ones in the
> FreeBSD /usr/src/sys/ area (copied from linux mainline): only binary
> ones copied directly or indirectly from the RPi* folks (the RPi*
> upstream). (The sources are available.) The same is true for what the
> two RPi5 EDK2's provide: *.dtb files and *.dtbo files from the RPi*
> upstream, both in binary form.
>=20
> My limited understanding is that they are (were?) not the same in
> various ways --but I do not know the details.
>=20
> The modern RPi5 *.dtb files include the RPi* folks RP1 description.
> (I have converted the live representation of the time to text in the
> past, not that I remember the details.)
>=20
> I've no clue what the consequences of mixing such might be or if use
> of
> a device tree overlay might help avoid such questions.
>=20
> I'll also note that the RPi* firmware makes some live adjustments to
> what is handed to EDK2 and EDK2 may well make more for what is handed
> to
> the FreeBSD EFI loader. Some of that is not from overlays.
>=20
> Anyway, I was surprised at the reference to the copy of the linux
> upstream *.dts .

I will clean up the repo some this weekend and push that to reduce this
kind of confusion in the future.