ここではいくつかあるL4カーネルのうちL4Ka::Pistachioを既存のLinuxの上でコンパイルし, Qemuの上で動かすところまで解説します. 基本的な手順は公式サイト(http://l4ka.org/)の"Getting Started with L4Ka::Pistachio on ia32"というページを参照すればな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。