Pi 4b questions, part 3

From: Paul Floyd <pjfloyd_at_wanadoo.fr>
Date: Sun, 20 Jul 2025 11:52:46 UTC
Hi

I've managed to get the case fan to be controlled by the Pi when booted 
to RPi OS or Ubuntu. With FreeBSD it runs at full speed.

There are a couple of github projects for FreeBSD Pi 4 fan control

https://github.com/jonvcb/freebsd-rpi-fan-ctl

https://github.com/dlaszlo/fan_control

They don't seem to have changed for 3 years. Does anyone have experience 
with these? Or is there another way to get the fan to be controlled 
properly when running FreeBSD.

A+

Paul