PRK Firmwareのビルドがようやくできるようになった。概ねドキュメント通りの手順でできたけど、追加でPico-SDKにTinyUSBを入れる?(Pico-SDKのディレクトリで `git submodule update --init`)必要があった。 あ、WSLです。