Projects / L4Ka microkernel

L4Ka microkernel

L4Ka is a microkernel-based system with an L4 compatible kernel. The kernel is a re-implementation of L4 (which is 100% x86 assembly) in C++. x86 and ARM based systems are supported.


Recent releases

  •  14 Dec 2001 10:57

    Release Notes: The IPC performance was drastically improved. The kernel now has small address space support for IA-32 which reduces the aftercosts of a context switch (TLB misses, cache flush). Special optimizations for Pentium 4 systems were added. Large parts of the kernel have been redesigned for better portability.

    •  05 Oct 2000 15:37

      Release Notes: This is the first release candidate. The test and killer app for the L4KA kernel is L4Linux: a 2.2 Linux kernel running as a user application.


      Project Spotlight


      A Fluent OpenStack client API for Java.


      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.