#include <stdio.h>
#include "pico/stdlib.h"
const uint LED_PIN = 25; // Onboard LED
int main() {
gpio_init(LED_PIN);
gpio_set_dir(LED_PIN, GPIO_OUT);
while (true) {
gpio_put(LED_PIN, 0);
sleep_ms(500);
gpio_put(LED_PIN, 1);
sleep_ms(500);
}
}