如何在pic32mm中设置pwm？

嗨，我是新的PIC32系列，我使用的是PIC32 MM000 64 GPL028。我试图建立一个标准的PWM引脚P19，与10 kHz的频率为90%占空比。我对数据表完全迷糊了，所以我想看看有没有一个代码示例，这样它可以指导我解决我的问题。感谢所有能帮助我解决这个问题的人。