Hi all, I created a very simple RaspberryPi PWM binding. I use it to control a Noctua PWM fan at 25kHz. The binding uses PI4J and supports both hardware and software generated PWM signals.
Sources are available here. Binaries can be provided on request.