Raspberry Pi PicoはArduino環境で開発することもできる。Raspberry Pi Pico用のボードサポートパッケージはArduino公式版以外にフィルハワー伯爵版(？)なるものが存在するようだ。公式版はMbedの上にArduinoの皮かぶせたちょっとやっつけ仕事気味なかんじな…