ev3devとは,EV3のためのDebianである. 下記のイメージファイルをmicroSDカードにddコマンドを使って書き込む.
そのmicorSDカードをEV3に挿入すれば,電源投入で,Debianが起動する.
詳細は
2015 12/2