---
marp: false
title: Gears OS UEFI対応
paginate: true

theme: default
size: 16:9
style: |
  section {
    background-color: #FFFFFF;
    font-size: 28px;
    color: #4b4b4b;
    font-family: "Arial", "Hiragino Maru Gothic ProN";
  }

  section.title {
    font-size: 40px;
    padding: 40px;
  }
  section.title h1 {
    text-align: center;
  }

  section.slide h1 {
    position: absolute;
    left: 50px; top: 35px;
  }

---
<!-- class: title -->
# <!--fit--> Gears OS のBootに関する研究

- 奥田光希
    - 琉球大学工学部工学科知能情報コース
- 河野 真治
    - 琉球大学工学部

---
<!-- class: slide -->
# OSとアプリケーションの信頼性を高めたい

- Meta計算を用いて信頼性を高めるGearsOSを提案している
- x.v6を元にRaspberry Pi上で動くGearsOSを実装中
- BIOSからBootしているのでUEFIに移行したい
---
<!-- class: slide -->
# UEFI採用の利点
- CPUなどの機種依存性を避けることができる
- GearsOSはCbC(Continuation based C)で記述されていて、CPUやデバイスに影響されない
- 様々な組み込みシステムに対してGearsOSを応用できる様になる
- 
---
<!-- class: slide -->
# CbC(Continuation based C)

---
<!-- class: slide -->
# GearsOS

---
<!-- class: slide -->
# UEFI

---
<!-- class: slide -->
# UEFI Application

---
<!-- class: slide -->
# UEFI 開発環境

---
<!-- class: slide -->
# UEFIによるGearsOSのBoot

---
<!-- class: slide -->
# まとめ（デモ???）