OKL4
About
かつてOKLabs（Open Kernel Labs）によって開発されていた
L4
系列の
Microkernel
/
Micro-hypervisor
他の3rd-generation Microkernelとはかなり設計が異なる
Design
OKL4にIPC機構は存在しない
#Microkernel
#L4
#OKL4