極度にセキュアな OS
タレコミ by
あるAnonymous Coward 曰く、
EROS (the Extremely Reliable Operating System) プロジェクトが Coyotos project に移行したとのニュースが 本家記事になっている。 これは SELinux のように capability でセキュリティを制御する OS であり、 特に他の OS と違うのはディスクにファイルシステムを持たない点らしい (KeyKOS は同様の仕組みを持っている)。 OS 全体のスナップショット を定期的にディスクに保存しているので、いつもハイバネーション準備ができているような状態であり、 再起動しても即座に直前の動作状態へ復帰できるとのこと。 また、Coyotos ではセキュリティに配慮した BitC という言語も開発している。