Genode
About
Genode Labs
によるOSフレームワーク.
Microkernel Abstraction Layerにより, 多数のカーネルに対応している.
cf.
Genode - Overview of the different kernels supported by Genode
Linux
NOVA
Bare Metal
seL4
Fiasco.OC
L4Ka::Pistachio
OKL4
(Abandoned)
L4/Fiasco
repos/base-xxx
ディレクトリに各カーネル固有のコードが格納
所感
コードリーディングにおすすめ
まともに
Capability
を使ってOSを書くためのヒントが沢山ある
特に
seL4
, 素晴らしい
#Genode
#kerneldev
#L4
#seL4