Inspiron Mini 9にGRUBを入れる

どうもmini9はSDカードからの起動ができないようで(少なくとも手元のSDカードでは上手く行かなかった)、GRUBとカーネルを内蔵SSDにインストールして起動する手法を採る必要があった。
お勧めの組み合わせはGRUB4DOSとgPXE。

gPXEを使うと、カーネルをHTTPサーバやFTPサーバから読み取ることが出来、カーネルを他所のマシンでビルドすることが多い環境では重宝する。