RaspberryPi Pico SDKをWSLで構築する方法

2024年の情報です RaspberryPi PICOが新チップが出たり、新しい２が出たりで盛り上がってるので、開発環境を一から作ってみたので、その記録を残しておきます。 実はPICOが登場時にも触ってたんですが、当時と開発方法が変わってたので、今後も変わるだろうと思って2024年版です。とは言え、もう11月末なので、2025年版と言って良いのかもしれません。 WSL2の準備 WindowsのPowerSellで以下のコマンドを実行します。