From 13dca0d96db7cc66dbb8727e84772461a769e40b Mon Sep 17 00:00:00 2001
From: Jan Niehusmann <jan@gondor.com>
Date: Wed, 22 Feb 2023 17:50:20 +0000
Subject: [PATCH] Add a comment regarding the LED pin

---
 src/main.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index 5e08c60..829ae23 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -53,6 +53,11 @@ fn main() -> ! {
         &mut pac.RESETS,
     );
 
+    // This is the correct pin on the Raspberry Pico board. On other boards, even if they have an
+    // on-board LED, it might need to be changed.
+    // Notably, on the Pico W, the LED is not connected to any of the RP2040 GPIOs. If you have
+    // a Pico W and want to toggle a LED with a simple GPIO output pin, you can connect an external
+    // LED to one of the GPIO pins, and reference that pin here.
     let mut led_pin = pins.led.into_push_pull_output();
 
     loop {