# 研究目的
OSには信頼性が保証できることと拡張性があることが求められている。信頼性をノーマルレベルの計算に対して保証し、 拡張性をメタレベルの計算で実現することを目標にGears OSを設計中である。現在、Geas OS を Raspberry Pi 上で動かすためにはMacとシリアル通信で繋げなければ入力ができない。 Raspberry Pi 上の Gears OS でキーボードやマウスを使えるようになれば利便性が向上する。また、Raspberry Pi 以外のハードウェアで動かす時にも、PCを介して接続しなくて良くなる。 本研究では、Rasberry Pi 上で Gears OS の Device Driver を CbC で開発しすることが目的である。
# 進捗
-
raspberry piのUEFIを起動した
# ToDo
- UEFI からxv6_CbCをインストールして動かす
- Device NameとDevice Typeをとってくる
- USB host controllerを作成