20250325093715 PlatformIOで seeeduino xiao rp2040のプロジェクトがコンパイルできない

rp2040platformio

rp2040の開発用platformをインストールしているのに、 seeduino xiao のプロジェクトをbuildすると、

UnknownBoard: Unknown board ID 'seeed_xiao_rp2040' 

という表示が出てコンパイルできない。

workaroud

platformio.ini の platform の欄にgithubのURLを指定する。

platform = https://github.com/maxgerhardt/platform-raspberrypi.git