- Home of the L4 community
Zentrale Webseite rund um den L4 Kern.
- L4Ka (Universität Karlsruhe)
Verfügbar auf ia32, ia64, amd64, PowerPC 32/64Bit, Alpha 21[1|2]64, MIPS 64Bit R4000,R5000, ARM v4/v5 und UltraSparc.
- Linux 2.4 und 2.6 auf L4
Eine Portierung des Linuxkernel auf die Architektur L4.
- GNU/Hurd auf L4
Eine Portierung von GNU/Hurd auf den L4 Microkernel.
- Publikationen Prof. Dr. Jochen Liedtke
- …
- Synchronous IPC over Transparent Monitors
- Transparent Orthogonal Checkpointing Through User-Level Pagers
- Flexible Access Control Using IPC Redirection
- A Security Architecture for Component-Based Operating Systems
- Improving IPC by Kernel Design
- …
Leider gehen die Besten immer zuerst(10.6.2001).