L4: Difference between revisions

[unchecked revision]

Content deleted Content added

Revision as of 08:36, 5 March 2010 view source osdev>Daemoned →‎L4/x86 ← Older edit		Latest revision as of 18:12, 9 July 2023 view source osdev>Khaledhammouda No edit summary
(3 intermediate revisions by 3 users not shown)
Line 1: {{Stub}} L4 is a family of second-generation microkernels based on the original designs and implementations by German computer scientist Jochen Liedtke. Originally implemented as highly tuned Intel i386-specific assembly language code, the API has seen extensive development in a number of directions, both in achieving a higher grade of platform independence and also in improving security, isolation, and robustness. The L4 µ-Kernel Family Homepage: http://os.inf.tu-dresden.de/L4/ == L4/x86 == Line 7 ⟶ 10: Reference Manuals: http://os.inf.tu-dresden.de/L4/l4doc.html [[Category:Kernel]] [[Category:OS theory]]