In your main loop in the mbed project, for each servo object call period_us(20000) to set the PWM outputs to the period servos are compatible with. Then, for each object, call pulsewidth_us(###) with ### being any number from 1000 to 2000. 1000 is 0 degrees on a servo, 2000 is 180 degrees typically.
Reference for PWM out: http://developer.mbed.org/handbook/PwmOut
In your main loop in the mbed project, for each servo object call period_us(20000) to set the PWM outputs to the period servos are compatible with. Then, for each object, call pulsewidth_us(###) with ### being any number from 1000 to 2000. 1000 is 0 degrees on a servo, 2000 is 180 degrees typically.