550円の「Raspberry Pi Pico」でIoT　その2：Arduino IDEを動かす

検索窓に「pico」と入力してEnterキーを押すと、「Arduino Mbed OS RP2040 Boards」が表示されるので「インストール」をクリックする