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

#define LED_PIN 25
const uint32_t interval = 3000; // in milliseconds

int main() {
    stdio_init_all();
    gpio_init(LED_PIN);
    gpio_set_dir(LED_PIN, GPIO_OUT);

    uint32_t previous_time = to_ms_since_boot(get_absolute_time());
    bool led_state = false;

    printf("Starting LED blink debug (C SDK)\n");

    while (true) {
        uint32_t current_time = to_ms_since_boot(get_absolute_time());

        if (current_time - previous_time >= interval) {
            previous_time = current_time;
            led_state = !led_state;
            gpio_put(LED_PIN, led_state);

            if (led_state) {
                printf("LED ON\n");
            } else {
                printf("LED OFF\n");
            }
        }
    }
}