久しぶりに秋月へ行ったら、「ＵＳＢメモリにファイルを書き込むのとほぼ同様の手軽さでプログラムを書き込むことができます」という触れ込みのマイコンボードが安く売っていたので、買ってみました。
で、動かしてみるべく、Linuxマシン（環境はいつものLinux Mintです）へ接続すると、確かにマスストレージデバイスとして認識します。で、秋月のWebサイトにある動作確認用ファームウェアを書き込んで、リセットしてみても、再びマスストレージデバイスとして認識されて、LEDが点滅する気配がありません。
mbedとしても動作する、というのでサンプルプログラムを作って同様に書き込んでみてもサッパリです。linuxではドラッグアンドドロップでの書き込みはうまく行かないのかと思って、コマンドラインで cp コマンドでコピーしてみてもダメです。
で、ぐぐってみたら、どうやら linux ではそもそもファイル書き込みではうまくいかないようで、こちらの情報によると先頭の４ブロック（２キロバイト？）を削ってddで書き込むとうまく行くようです。
ただ、デバイスファイルなんていろんな要因で変わってしまうので、毎回やるのは面倒ですし、事故のもとなので、pythonのスクリプト化しました。
lsblkコマンドで見た時に、転送方法が usb で、モデルが’LPC1XXX IFLASH ‘となっているデバイスファイルを探して、そのデバイスファイルをアンマウントして、ｄｄコマンドで書き込むだけです。スクリプトファイル⇒mbedにlinuxから書き込むためのスクリプト
ルート権限が必要なのは変わらないので、sudo 付きで python スクリプトを実行します。
$ sudo python ./write_mbed.py firmware.bin mbed device is /dev/sdc umount /dev/sdc dd if=firmware.bin of=/dev/sdc seek=4 16+1 レコード入力 16+1 レコード出力 8456 bytes (8.5 kB, 8.3 KiB) copied, 0.387457 s, 21.8 kB/s
みたいな感じで使います。（途中の umount とか dd コマンドの行はこのスクリプトの処理内容を表示しているだけで、書き込みに必要な操作は最初の１行目だけです）