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

void loop() {
  // put your main code here, to run repeatedly:
  delay(1); // this speeds up the simulation
}