研究目的
- ブートが高速で、コンパクトなカーネルを実装する。
- Codesegment と Datasegment をカーネルに実装するにあたって、メモリ管理の役割とどう合致するのかを検証する。
- 上記を確認したら CbC を用いて、動作が軽く落ちにくいカーネルを実装する。
- モデル検証に対応し、エラー予測を可能にする
- カーネルパニックをなくす
- Mach-O を EFI でロードし、64bit でロードできるようにする
今週の作業
Qemu [Q]
- OS X での Qemu は Q として書かれる
- Qemu で EFI を使うツール OVMF のインストール
ELILO で Mach-O
- ELILO は x86-64 ように bzImaze と plain loader を持っている
- Mach-O 用ローダを追加
- 一度使用するローダを登録して、使用するか決める
- 登録したローダを使う
- Makefile を書き換えて Mach-O ローダを使えるように
-
これからすること