#include "pico/stdlib.h"
#include "hardware/pwm.h"

#define SERVO_PIN 18

void set_servo_pulse(uint16_t pulse_width) {
    pwm_set_gpio_level(SERVO_PIN, pulse_width);
}

int main() {
    gpio_set_function(SERVO_PIN, GPIO_FUNC_PWM);
    uint slice_num = pwm_gpio_to_slice_num(SERVO_PIN);
    
    pwm_set_wrap(slice_num, 20000);
    pwm_set_clkdiv(slice_num, 64);
    pwm_set_enabled(slice_num, true);

    while(1) {
        // Posição mínima (geralmente 0 graus)
        set_servo_pulse(1000);
        sleep_ms(2000);

        // Posição máxima (geralmente 180 graus)
        set_servo_pulse(2850);
        sleep_ms(2000);
    }
}