查看“L4”的源代码

{{Stub}}
L4是基于德国计算机科学家Jochen Liedtke的原始设计和实现的第二代微内核系列。 该API最初是作为高度调整的英特尔i386-specific汇编语言代码实现的，在许多方向上都进行了广泛的开发，既实现了更高等级的平台独立性，又提高了安全性，隔离和健壮性。

The L4 µ-Kernel Family Homepage: http://os.inf.tu-dresden.de/L4/

== L4/x86 ==
L4/x86是由GMD，IBM沃森研究中心和卡尔斯鲁厄大学的Jochen Liedtke开发的原始设计。

Assembler Source Code: http://www.acm.uiuc.edu/white_papers/incoming/GMD/L4/

Reference Manuals: http://os.inf.tu-dresden.de/L4/l4doc.html

[[Category:OS theory]]