“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沃森研究中心和…”) |
(没有差异)
|
2022年1月24日 (一) 07:28的最新版本
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
