minix3的源码，是一个实时微内核的操作系统

微内核l4操作系统源码，对操作系统实现感兴趣的朋友可以看下，相信有 用,L4 microkernel operating system source code, the operating system to achieve interesting friends can look down, I believe useful to

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