Mercurial > hg > Papers > 2018 > parusu-master

diff paper/gearsOS.tex @ 69:14909ebbfacd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update Todo
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Thu, 08 Feb 2018 18:27:56 +0900
parents 131b1274cbae
children cfd50f91bf0a
line wrap: on
line diff
--- a/paper/gearsOS.tex	Thu Feb 08 16:44:30 2018 +0900
+++ b/paper/gearsOS.tex	Thu Feb 08 18:27:56 2018 +0900
@@ -1,3 +1,6 @@
+%TODO stub のこうで書きすぎ
+% context と stub はジェネラルな紹介だけ
+
 \chapter{Gears OS の概念}
 Gears OS は信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に開発している OSである。