I needed a controller with 5 pwm channels and the K80 family satisfies that. When setting up the pwms in FC, I noticed that the second channel was not working. In the datasheet this is set up as CCP2 on pin RC2. In the definitions file of Flowcode the pin allocated to the second CCP is RC1. I made the following change and it all works perfectly:
Original definition:
Define53=#define MX_PWM_2_PORT portc
Define54=#define MX_PWM_2_TRIS trisc
Define55=#define MX_PWM_2_PIN 1
Changed to:
Define53=#define MX_PWM_2_PORT portc
Define54=#define MX_PWM_2_TRIS trisc
Define55=#define MX_PWM_2_PIN 2
Sorry if this is trivial but it was a major discovery for me and I spent a long time discovering it.

Sefi