やっとこさ hurd に戻れる予感がするわけですが、予想以上に L4 → Coyotos transition が素早く完了したので今さら L4 弄るのもなーという感じがする。L4.sec も L4.X2 に EROS 的機構を持ち込んたもののようだし。
400 を超える投稿が溜ってる hurd/l4 mailing list (話題は Coyotos ばっか) を読んで、如何にも自分の理解の浅はかさが浮き彫りになってくる気分なので、ひとまず Coyotos spec と関連論文を読み漁る事に決定。
