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

L4 微内核，该版本在最新的0.4基础上为了适应VM而修改。C++和AT&T汇编风格。-L4 micro-kernel, the latest 0.4 version based on the VM in order to adapt to the changes. C++ and AT & T compilation-style.