Hmm, the fan control driver should be in the kernel. Did you connect the fan to the proper port?
Also the default curve is just bad, use this one: [Guide] How to make the Rock 5b fan work properly - Joshua Riek's Ubuntu 24.04
Guide on how to customize you pwm fan curve
Some additional information:
in property pwms = <&pwm1 0 10000 0>;
, the first number is the pwm channel in this device, second number is pwm period(1/pwm frequency), the third number is pwm polarity.
Do I just need to modify the values in pwm-fan.dts
and rerun sudo armbian-add-overlay pwm-fan.dts
to change the fan curve once we’ve already set it once?
Yes. Reboot then you will run with new fan curve.