PCの充電コードが入れ物ごとどっか行ってしまった。結構お気に入りのケースに入れていたのだが。

---

PCを掃除した。ホームディレクトリに乱立した隠しフォルダを必要なものだけ残して一掃した。

---

ZephyrをWSLで入れてみた。Raspberry Pi pico向けにLチカが動くことを確認した。

UF2ブートローダなのでバイナリをファイルシステムでコピーすれば書き込める。WSLからWindowsに持ってくるのが面倒。WSL上でcpとかやれば一発かと思いきや、Cドライブ以外はマウントされない。なぜだ。

USBも行けるのか気になったが、全く問題なくいけた。BOOTSELスイッチで書き込みモードと通常のUSBデバイスとしての認識を切り替えられる。色々試したい。