Greetings joaocandre
The fastest frequency we were able to get was 13.97kHz with this commands:
echo -n "3" > /sys/class/pwm/pwmchip0/export
echo -n "1" > /sys/class/pwm/pwmchip0/pwm3/enable
echo -n "62500" > /sys/class/pwm/pwmchip0/pwm3/periodecho -n "31250" > /sys/class/pwm/pwmchip0/pwm3/duty_cycle
Remember you can also use this commands in the IDE with the function system(), in case you prefer using the Arduino side. The usage of this function would be like this, for example
system("echo 3 >/sys/class/pwm/pwmchip0/export");
Regards
JPMontero_Intel