DebianをSDカードからインストール

「SDカードからブートできるかどうか」ってBIOSの作り次第で決まってるんだっけ？
まず boot.img.gz を取得．

• http://d-i.debian.org/daily-images/amd64/daily/hd-media/

解凍して256 MB程度のSDカードにddで書き込む．Windowsならこれで書き込めばよい：

• http://www.si-linux.co.jp/wiki/silinux/index.php?DDforWindows DDforWindows - Silicon Linux Wiki

次に一度抜いてから再マウントするとPCからは boot.img 通りの内容に見えるはずなので，その中にISOを書き込む：

• http://cdimage.debian.org/cdimage/daily-builds/daily/arch-latest/amd64/iso-cd/

小さい方の ほげ-businesscard.iso でよいはず．d-i サーバにある netboot/mini.iso では駄目なのね．何が違うんだ？ マウントして中を見比べれば分かるかも知れないが，そもそもインストーラの仕様が明記されてないからな... ソース見れ，と．
終わったらインストールしたいマシンにSDカードを挿してそこを優先にブートさせてやれば，適当にNICを認識するのでDebian testingがネットワーク・インストールできる．昨日は ftp.debian.or.jp (CDN) が死んでた気がするが... （そこでJAIST）