/* blank sketch for using the RP2040 core by Earle F. Philhower, III
https://github.com/earlephilhower/arduino-pico
*/

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

void setup() {
  // put your setup code here, to run once:
  Serial1.begin(115200);
  Serial1.println("Hello, Raspberry Pi Pico!");
}

void loop() {
   while (1) {
    sleep_ms(1000);
   }
}