Weiter zum Inhalt

L4 Microkernel

  • 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).