#include <stdio.h>
#include "pico/stdlib.h"
#include "pico/cyw43_arch.h"
int main() {
  stdio_init_all();
  while (true) {
    printf("Hola Mundo!\n");
    sleep_ms(250);
  }
}#include <stdio.h>
#include "pico/stdlib.h"
#include "pico/cyw43_arch.h"
int main() {
  stdio_init_all();
  while (true) {
    printf("Hola Mundo!\n");
    sleep_ms(250);
  }
}