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.
| Tags | Operating System Kernels |
|---|---|
| Licenses | GPL Other |
| Implementation | C++ C |
Recent releases
- 14 Dec 2001 05: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.
- 30 Jan 2001 06:13
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.
volkmar
05 Oct 2000 11:10
Heartbeat
- Popularity Score
- 54.30
- Vitality Score
- 1.49
- Subscriptions
- 10
Voting Score: 1
(1 vote)
