Ron Minnich氏によると，PPCカーネル(BlueGene/L用！？)のビルドにかかる時間は，QEMUがXenの約15倍もかかるそうな．KQEMUを使うと，比は4倍ぐらいに縮まったとか． qemu: 4 minutes59.86u 53.93s 233.60r mkxen 3 4.90u 5.06s 15.89r mk カーネルのビルドは…