Nix Packagesにpico-sdkがあるので、これを使えるのですが、submoduleの扱いに注意しないとTinyUSBとかが使えなくなります。 { description = "Ras...
サイトを作り替えています