概要
- Arduinoもくもく会#017に参加しRaspberry Pi上のArduino IDE にmicro:bit開発環境を構築するテーマに取り組みました。
- その成果を整理して,Arduino IDEのボードマネージャからインストールできるようにしました。
- ただし,ボードマネージャからのインストール操作に加えてapt-getによる開発ツールの手動インストールも必要です。
- Intel-CPUのパソコン(Win,mac,Linux)のArduino IDEにmicro:bit開発環境をインストールする方法はこちらを参照→https://ht-deko.com/arduino/microbit.html