L4Reというものがある。 L4Re -- The L4 Runtime Environment タイトルを直訳すると"L4 実行環境"だろうか。 ざっくりと理解した感じでは、"L4を使ったOS開発SDK"のようだ。 TopのOverviewを和訳すると以下のようになる。 L4Re - 概要 "L4Re Runtime Environ…