Has support for this board been dropped?
board = seeed_xiao_rp2040
results in
Resolving seeed_xiao_rp2040 dependencies…
UnknownBoard: Unknown board ID ‘seeed_xiao_rp2040’
at the time that I am typing this using PlatformIO 3.3.3 and specifying
platform = raspberrypi
Complete platformio.ini follows:
[env]
platform = raspberrypi
framework = Arduino
board_build.core = earlephilhower
board_build.filesystem_size = 0.5m
[env:seeed_xiao_rp2040]
board = seeed_xiao_rp2040