The PinMap_PWM array for the FRDM KL25Z board is missing several mappings, as it only has the RGB LED and Arduino-compatible pins listed. I need to use some other PWM pins (specifically, PTB0) that the KL25Z supports but mbed does not. As a workaround, I have patched in the following (untested) mappings, but it would be good if these could be added to the official source:
{PTA0, PWM_6, 3},
{PTA3, PWM_1, 3},
{PTB0, PWM_7, 3},
{PTB1, PWM_8, 3},
{PTB2, PWM_9, 3},
{PTB3, PWM_10, 3},
{PTC1, PWM_1, 4},
{PTC2, PWM_2, 4},
{PTC3, PWM_3, 4},
{PTC4, PWM_4, 4},
{PTE20, PWM_7, 3},
{PTE21, PWM_8, 3},
{PTE22, PWM_9, 3},
{PTE23, PWM_10, 3},
{PTE24, PWM_1, 3},
{PTE25, PWM_2, 3},
{PTE29, PWM_3, 3},
{PTE30, PWM_4, 3},
{PTE31, PWM_5, 3},
Thanks! I added your mappings to the KL25Z code.