第２回(2018/04/24)

当日の流れ：

1. OS Buffetに関する説明
2. 輪講（Barrelfish/DC）
3. 議論
   • OSを動かす上でCPUがサポートすべき機能
   • OSとカーネルの関係
     • カーネルとOSの境界
     • 組込みOS、汎用OSの違い
4. 振り返り

議論時のホワイトボード

アイディアボードとKPT