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 defines the computing concepts relev

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