MKR motor carrier

I'm using the MKR motor carrier, but need to change the PWM frequency for servos. The available library doesn't have that implemented. Is there an alternative?

Board: MKR MotorCarrier

Library: ArduinoMotorCarrier - Arduino Reference

In that library you have the following function for servos:

void setFrequency(int frequency);

That function is not implemented and if you check the D11 firmware the correspondent call is also empty.

So, you cannot change the PWM frequency.

My question is: is there an alternative to change the PWM frequency? Will Arduino implement that soon? How soon?

But which MKR are you using ?

For the ZERO there is a thread here that should get you started.

Or for more general ideas GOOGLE works quite well for this topic

The board I'm using is MKR1000, plugged on top of the MKR MotorCarrier.

The MKR MotorCarrier uses a SAMD11 processor. So it's not important the board that you are using to feed it. It works well with all MKR boards.
The problem is the library the comes with the board. As I explained above, the functions in the library and in the board firmware to change the PWM frequency are empty (functions not implemented).