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/PreviousReleasesend