int redLED = 0;

void setup() {
  
  Serial1.begin(115200);
  Serial1.println("Hello, Raspberry Pi Pico!");
  pinMode(redLED, OUTPUT);
}

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