イメージ作成続き

32bit版Ubuntuだとどうしてもうまくいかなかったので、イメージの書き込み開始まで確認して中断してしまった64bit板を使って最後までやることにした。
現在カーネルビルド中…

おそらく一番時間がかかるのは、PowerVRのドライバのビルドな気がする。
ドライバソースをカーネルに合わせてコンパイルするDKMSを使っているので、カーネル入れ替えごとにコンパイルが入る。