- モデル検査
    - 実際に処理をしている箇所は?
    - 並列実行をしている箇所を選択する
    - Synchronized Queue

- 方針
    - 使える部分だけCbCに書き換える
    - 完全にGearsの形式に書き換える

- CbCで書き直したxv6も同じ方式で行っている
- 帯域変数は入力で持ってくる,出力で出すという雰囲気

- PWDを環境変数に持たせると途中のディレクトリパスが異なる可能性がある
    - syscallにすると途中のパスをuserdirに保存する

- UEFI
    - OSの立ち上げ時のBaseとなる部分