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.
|Tags||Operating System Kernels|
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.
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.