You will have to use hardware pwm. I suggest you read the chip datasheet and set up the registers manually. I'm not a fan of PBPs HPWM.