// GPPWM pin is the PWM output gpio_set_function(GPPWM, GPIO_FUNC_PWM); // Figure out which slice we just connected to the GPPWM pin uint slice_num = pwm_gpio_to_slice_num(GPPWM);
// Set counter wrap value to generate PWM interrupt by this value pwm_set_wrap(slice_num, 7999); // Load the configuration into our PWM slice, and set it running. pwm_set_enabled(slice_num, true);