The OKL4 [12] implementation of the L4 microkernel was used for prototype development. OKL4 (from Open Kernel Labs) is based on the Pistachio- embedded ...
確定! 回上一頁