|
楼主 |
发表于 2004-8-30 12:52:05
|
显示全部楼层
L4Ka::Pistachio microkernel
L4Ka:istachio 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.
The current release of L4Ka:istachio is version 0.4. Read the official announcement message.
L4Ka:istachio 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 current release includes many of today's widely used commodity architectures:
Alpha (21164, 21264)
AMD64 (Opteron 242, Simics)
ARM (SA1100, XScale, ARM925T)
IA32 (Pentium and higher)
IA64 (Itanium1, Itanium2, Ski)
MIPS 64bit (R4000, R5000)
PowerPC 32bit (IBM 750)
PowerPC 64bit (Power3, Power4)
The variety of supported architctures makes L4Ka:istachio an ideal research and development platform for a wide variety of systems. Additional architectural support for UltraSparc is in progress.
The different hardware architectures are maintained by specific team members located either at University of Karlsruhe (AMD64, IA32, IA64, PPC32) or at UNSW (Alpha, ARM, MIPS, PPC64). |
|