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.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
O desempenho do IPC foi drasticamente melhorado. O kernel já tem suporte pequeno espaço de endereço para IA-32 que reduz o aftercosts de uma mudança de contexto (TLB misses, cache flush). Otimizações especiais para sistemas Pentium 4 foram adicionadas. Grandes partes do kernel foram redesenhados para uma melhor portabilidade.
Tags:
Major feature enhancements
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.
Este é o primeiro candidato da liberação. O teste e assassino app para o kernel L4Ka é L4Linux: um 2,2 do kernel do Linux rodando como um aplicativo do usuário.
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.