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.