OKL4 Microkernel Reference Manual Open kernel 4_2.1.1 software interface. The OKL4 Microkernel Programming Manual covers all features of the OKL4 microkernel at four different levels of abstraction and define

android 结合OKL4的模似器，要学习微内核和android，这个是必要的工具-android like device with OKL4 mold, it is necessary to study micro-kernel and the android, this is the necessary tools to

OKL4 最早的一个version,学习微内核的最重要的源代码，小而精。现在可以成功的商用化-OKL4 One of the earliest version, to learn the most important micro-kernel source code, a small but excellent. Can now be successfully commercialized

微内核结构源码,内核中有几种基本的机制，如地址空间、进程通信、内存管理等，文件系统、驱动等作为服务在用户态。 -microkernel