Linuxの設定方法など。Linuxのバイナリが用意されていないようなので、自分で作る。†.configは、次のようにした(→config.tgz)。linuxそして、ゲストOS用のファイルシステムを構築。Linuxの引数にはファイルしか渡せないようなので、パーティション全てを使ってファイルを作成した。debootstrapは、それなりに時間がかかる。†ゲストカーネルの構築で作成したlinuxコマンドを実行する。仮想コンソールを使用し、バックグラウンドで起動する。&標準では、自動起動などの仕組みが用意されていないので、サービス起動停止用スクリプトを作ってみた(→umlctrl.tgz)。無茶な方法なのでうまくいかないことがある...。