//#include "pwmfuncs.c"
#include <stdint.h>
#include "pico/stdlib.h"
#include "hardware/pwm.h"
#include "hardware/clocks.h"
#include "hardware/gpio.h"

const int8_t pwm_pin = 2;

int main() {
	// Setup PWM on GP2
    gpio_set_function(pwm_pin, GPIO_FUNC_PWM);
	uint slice_num = pwm_gpio_to_slice_num(pwm_pin);
    uint chan = pwm_gpio_to_channel(pwm_pin);

    // enable pwm at 50Hz with 50% duty cycle
    pwm_set_freq_duty(slice_num,chan,50,50);
    pwm_set_enabled(slice_num,true);
    return 0;
}