#include <stdio.h>
#include "pico/stdlib.h"
#include "hardware/pwm.h"

#define LED_BLUE_PIN 12

void led_blink(uint pin, uint hertz) 
{
    gpio_set_function(pin, GPIO_FUNC_PWM);
    uint slice = pwm_gpio_to_slice_num(pin);
    uint freq = (125000000 / hertz) -1; // Cálculo da frequência
    pwm_set_clkdiv(slice, 1.0);  
    pwm_set_wrap(slice, freq); 
    pwm_set_gpio_level(pin, freq / 2); 
    pwm_set_enabled(slice, true);
}

int main() 
{
    stdio_init_all();
    while (true) 
    {
        led_blink(LED_BLUE_PIN, 10000);  // Pisca o LED azul a 10kHz
        sleep_ms(100);
    }
}