mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 19:50:30 +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>