Hey Bruno,
Take a look for my posts on this forum - I did write a PWM device driver for the '52223 which should work on the 52259 without modification (although I haven't tested it on this chip/evb/demo).
Good luck and let me know if you have any questions,
myke
