Raspberry Pi Pico をArduino IDEから使う方法

picoをArduinoから使う方法を簡単にまとめておきます。開発環境(IDE)の設定、ボードの追加。サンプルソースでオンボードLチカの動作確認までを行います。