Author
University of Karlsruhe
Project active since
Project active till
Language
C++
Kernel type
Microkernel
Platforms
IA-32, x86-64, PowerPC
User interface
Unknown
License
The two-clause BSD License
Website
L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC.
L4Ka::Pistachio is built from ground up incorporating the research results of the last seven years of microkernel and multi-server research. The code is written in C++ with a strong focus on performance and portability.
