Is there a limitation on the amount of PWMs to use in Mbed OS? At a time, you can use six to seven PWM pins on Arduino boards without reducing the efficiency of the signals generated.