mirror of
https://github.com/micropython/micropython.git
synced 2025-12-16 09:50:15 +01:00
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>