Xen上でPlan9を動かすと,ホストOSのドライバが流用できるからいいよね,とかいう話から,GNU/Hurdの話へ. GNU/Hurdは,歴史ある(?)マイクロカーネルOSで,元々Mach(GNU Mach)ベースで作られていたが,L4ベースのHurd/L4というバージョンもある.ただし,Hurd/L4の方は活発に開発されていた感じではないらしいが.で,最近提案された新しいGNU/Hurdはケーパビリティベースのシステムになるらしく,L4.SecやCoyotos(前に書いたEROSの後継OS)がマイクロカーネルの候補に挙げられているが,Wikipediaの記事によると,Coyotosが有力だとか.L4.Secは初見だったが,L4とは違って,保護されたIPCにすることでセキュリティを強化しようというプロジェクトか. ちなみに,ケーパビリティはOSの保護モデルの一つで,Machのポートなんか