L4学习收集

Fiasco/L4 System Call C-Bindings Reference Manual
http://os.inf.tu-dresden.de/l4env/doc/html/l4sys-l4v2/index.html

iguana
http://ertos.nicta.com.au/software/kenge/iguana-project/latest/


微内核与操作系统的简化
http://hi.baidu.com/l4os/blog/item/c2114c82544220bb6c81198b.html

Operating System Based L4-Like Microkernel
http://hi.baidu.com/l4os/blog/item/7838405269fb64080df3e3d4.html

OKL4（Open Kernel Labs）
http://wiki.ok-labs.com/PreviousReleases





end