ホストはarch linux(manjaro)。

BOOTSELを押しながらUSB接続すると/dev/sdxxxにUSBストレージとして認識される。sudo dmesgで確認。自分の場合は/dev/sdc。 押して無ければ、プログラムが書き込まれていると、/dev/ttyACM0にUSBシリアルポートとして認識された。

USBシリアルポートのためにgtktermをインストール。

まずUSBストレージとして接続して、/media/rpi2を作ってsudo mount /dev/sdc1 /media/rpi2とマウント。

pico-sdkとpico-examplesをダウンロードしてビルドするんだけど、なぜかhello worldはシリアルしかビルドされない。仕方ないのでexamplesのREADMEにあるビルド済みバイナリ(拡張子uf2)を落としてきた。

sudo cp hello.uf2 /media/rpi2/と単純にコピーすれば書き込まれる。sudo umount /media/rpi2でアンマウントして、今度はBOOTSELを押さずに接続し直した。

gtktermでシリアルポートを使うためにsudoで立ち上げ。多分グループをいじればどうにかなるんだろうけどちょっと面倒なのでsudoにした。

メニューのConfigurationからPortで/dev/ttyACM0を選び、hello worldが１秒毎に出力されるのを確認。

TODO

• USBシリアルのバイナリをビルド
• USBシリアルttyをユーザーから使えるように