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

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

/*
To load a Rasberry Pi Pico, just 
1. Press the green "Play" icon under Simulation on the right, and 
verify it works in the simulation. You can also add hardware and wire it up.
2. Click here in this listing, then press F1 or right click and select 
"Command Palette"
3. Scroll down to "Download UF2 Binary" and click that.
4. Hold down the bootloader button on a Pi Pico and plug it into this computer
5. Drag the "Firmware.uf2" from your Download folder onto the RPI-RP2 drive 
that appears. 

That's it! RP2040 programmed without installing ANYTHING.
*/