Fix default PICO_BOARD value (#536)
diff --git a/src/board_setup.cmake b/src/board_setup.cmake
index 86b80f9..405d784 100644
--- a/src/board_setup.cmake
+++ b/src/board_setup.cmake
@@ -1,4 +1,4 @@
-# PICO_CMAKE_CONFIG: PICO_BOARD, The board name being built for. This is overridable from the user environment, type=string, default=rp2040, group=build
+# PICO_CMAKE_CONFIG: PICO_BOARD, The board name being built for. This is overridable from the user environment, type=string, default=pico, group=build
if (DEFINED ENV{PICO_BOARD})
set(PICO_BOARD $ENV{PICO_BOARD})
message("Using PICO_BOARD from environment ('${PICO_BOARD}')")
