Ubuntuブート

PandaBoard上でUbuntuが起動した。
4GB Class10と16GB Class4のmicroSHDCで比較したところブート時間の平均が58秒vs1分20秒と微妙な差だったが、速いことに違いはないので、4GB Class10のほうを使うことにした。
とりあえず、アップデートやらTIのバイナリ提供のアドオンなんかをインストール。