研究目的

  • ブートが高速で、コンパクトなカーネルを実装する。
  • Codesegment と Datasegment をカーネルに実装するにあたって、メモリ管理の役割とどう合致するのかを検証する。
  • 上記を確認したら CbC を用いて、動作が軽く落ちにくいカーネルを実装する。
  • モデル検証に対応し、エラー予測を可能にする
  • カーネルパニックをなくす
  • Mach-O を EFI でロードし、64bit でロードできるようにする

今週の作業

  • Qemu を使えるかどうかの調査

Qemu [Q]

  • OS X での Qemu は Q として書かれる
  • Qemu で EFI を使うツール OVMF のインストール

ELILO で Mach-O

  • ELILO は x86-64 ように bzImaze と plain loader を持っている
  • Mach-O 用ローダを追加
  • 一度使用するローダを登録して、使用するか決める
  • 登録したローダを使う
  • Makefile を書き換えて Mach-O ローダを使えるように

これからすること

  • Linux 3.8.9 を読む
  • メモリ初期化