david 12.18.2003
l4 pistachio, a way for os/2 to make up for lost time since os2ppc died, hope i don't
kill os/free want os/free powerpc g6
http://l4ka.org/projects/pistachio/ L4Ka::Pistachio
microkernel 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.
The first release includes many of today's widely used commodity architectures: Intel IA32
(Pentium and higher) Intel IA64 (Itanium1, Itanium2, Ski) PowerPC 32bit (IBM 750) Alpha
(21164) MIPS 64bit (R4000, R5000) The variety of supported architctures makes L4Ka::Pistachio
an ideal research and development platform for a wide variety of systems. Additional
architectural support for AMD64, ARM, Power4, and UltraSparc is either planned or already
in progress. The different hardware architectures are maintained by specific team members
located either at University of Karlsruhe (IA32, IA64, PPC) or at UNSW (Alpha, MIPS). The
specific contact can be found on the respective architecture page.