pistachio 微内核的教程，让你更详细的了解微内核的概念以及设计理念。-pistachio microkernel tutorial, so you have a more detailed understanding of the concept of micro-kernel design.

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.