Hi,
I was wondering if you could enable support for gpio-fan overlay on Raspberry Pi images, since both the 3B+ and 4B would benefit from it.
The overlay is present, but it does nothing at all.
In Raspbian adding dtoverlay=gpio-fan to config.txt automatically controls a fan connected to GPIO12 without using any script at all.
More info: linux/gpio-fan-overlay.dts at rpi-4.19.y · raspberrypi/linux · GitHub
Cheers.