Please refer to this page for details on how to control the DipCortex's PWM output's :
http://www.soldersplash.co.uk/guides/di ... g-a-timer/
For mbed you can use the PwmOut library, details are here :
https://mbed.org/users/mbed_official/co ... 3/PwmOut.h
NOTE : Mbed use Timer32-1 for internal timing in the mbed library, this means you can't use it for PWM's