873bd00ad4
PICO might not always be a unique name across all ports, and the convention generally for other boards is to do VENDOR_BOARD. This work was funded through GitHub Sponsors. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
3 lines
58 B
CMake
3 lines
58 B
CMake
# cmake file for Raspberry Pi Pico
|
|
set(PICO_BOARD "pico")
|