L4: Difference between revisions
Jump to navigation
Jump to search
| [unchecked revision] | [unchecked revision] |
Content added Content deleted
No edit summary |
No edit summary |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | 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. |
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. |
||
| Line 9: | Line 10: | ||
Reference Manuals: http://os.inf.tu-dresden.de/L4/l4doc.html |
Reference Manuals: http://os.inf.tu-dresden.de/L4/l4doc.html |
||
[[Category:Kernel]] |
|||
[[Category:OS theory]] |
|||
Latest revision as of 18:12, 9 July 2023
This page is a stub.
You can help the wiki by accurately adding more contents to it.
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
The L4/x86 was the original design developed by Jochen Liedtke at GMD, IBM Watson Research Center, and Universität Karlsruhe.
Assembler Source Code: http://www.acm.uiuc.edu/white_papers/incoming/GMD/L4/
Reference Manuals: http://os.inf.tu-dresden.de/L4/l4doc.html