C言語でmicro:bitのプログラムを開発する方法について，まとめました．
元々は NLL for micro:bit を開発するためのお試しサンプルとしてやっていたものですが，これはこれで有用かもと思ったので，まとめて公開したものです．(あと，いろいろWeb検索とかしたのですが，この手の情報はあんまり無いみたいです)
ブラウザを使わずに，gccベースで開発できます．
micro:bitへの書き込みは，micro:bitをUSBメモリとしてマウントし，生成されたhexファイルをコピーしてアンマウントするだけでできますので，Debian GNU/Linuxなどの環境だけで(Windowsを使わずに)開発できます．(私はFreeBSDでやっています)
