Run x735v2.5 geekworm fan with Freedombox on raspberrypi 4B

Support
1

Problem Description
I’d like to add correctly missing overlay files for raspberrypi 4B which are loaded by linux kernel to correctly operate hardware Geekworm x735 PWM Cooling Expansion Board with fan.
I could add them manually, but I suppose after upgrade the files will be removed.

Currently, freedomboxOS contains by default only two overlay files:

$ ls /boot/firmware/overlays/
hifiberry-dac.dtbo  pi4-spidev.dtbo  README.md

, but geekworm x735v2.5 hardware needs pwm*.dtbo files.

Steps to Reproduce

  1. Install x735script by this guide
  2. Download pwm*.dtbo overlay files from raspberrypi GitHub repo
  3. Downloaded files copy to /boot/firmware/overlays
  4. Reboot
  5. fan with PWM cooling should be working

Expected Results
Correctly way how to implement/add raspberrypi overlays files for operating extra hardware to freedombox OS.

The way which will be

  • consistent,
  • good manner,
  • upgrade proof
  • overlays could be updated with the OS kernel or with apt

Actual results
Manually add overlay files. Just copy/paste approach.

Information

  • FreedomBox version: Linux freedombox 6.12.74+deb13+1-arm64 #1 SMP Debian 6.12.74-2 (2026-03-08) aarch64 GNU/Linux
  • Hardware: Raspberry Pi 4 Model B Rev 1.4 + X825 V2.0 2.5" SATA HDD/SSD Storage Board + X825-C8 Case + X735 V2.5 Power Management Board
  • How did you install FreedomBox?: downloading pre-built image for raspberrypi4B from official sites of freedombox project and flash with dd to sdcard

Ideas

  • There is an option to make my own build of freedombox with Freedom-Maker: The FreedomBox image builder and during build process add the overlay files, but I suppose after upgrade the files will be also removed…