The purpose of Adeos is to provide a flexible environment for sharing hardware resources among multiple operating systems, or among multiple instances of a single OS. To this end, Adeos enables multiple prioritized domains to exist simultaneously on the same hardware. For instance, we have successfully inserted the Adeos nanokernel beneath the Linux kernel, opening a full range of new possibilitie
Funk, the functional kernel.Funk is a project of writing a kernel in OCaml. It could then be used as an educational tool for teaching OS design, for instance, or may be just replace Linux before Hurd goes out. The project uses the power of a high-level programming language, with GC, static type checking, polymorphisms and other features, to abstract the OS designer from low-level problems that can
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く