TODO

• 【終了】Vagrant/Vagrant-kvm の install
• 【終了】学科の LDAP へ接続
• 【終了】学部生が接続できるかテスト
• 【終了】/net/home, /net/open の mount
• 【終了】OCFS2 で mount できるように
• 【終了】Vagrant を ie-vagrant として wrap
• 本当にサーバにアップロードして、実行できるかどうかテスト

問題点

• 公式の box precise32/64 以外が、起動はできるが vagrant ssh で接続できない
• ２つ以上の vm を vagrant up できない

Kernel souce trace

• とりあえず読めるように、libvirt で立ち上げ
• gdb で読める
• (gdb)target remote localhost:1234
• root じゃなくても gdb から接続可能
• 接続した直後は WARN_ON_ONCE(workqueue_freezing) にとまる

これからすること

• ie-vagrant の完成
• 本当にサーバにアップロードできるかどうかテスト
• bldsv11 上で fedora kernel が gdb で追えるように
• EFI/OS の debug 環境の完成
• EFI Runtime の VirtualAddressMap が動くように