Version 4

The next L4 API will be Version 4. It is a successor of the experimental API Version X.0 implemented by, e.g., the Hazelnut kernel. The current proposal is code-named Version X.2. The Pistachio kernel will implement this new API.

The new features of Version X.2 are:

32 and 64 bit support: The API is designed to support 32 and 64 bit architectures. Data types are structured so that software can be reused without significant porting effort.
Support for super-fast IPC: LIPC is fundamentally integrated into Version X.2. For more details see Lazy Process Switching published at HotOS VIII.
Unlimited number of threads: The limitation of a fixed number of threads per address space no longer exists.
Multi-processor support: Until now L4 only had experimental multiprocessor support. MP support is now integrated into the API to support both small and large scale MP systems.

The L4 X.2 Reference Manual (Rev. 2, January 1 1970) serves as defining document for all L4 APIs and ABIs. Its key point is precise definition, not explanation and illustration.

Please note that Version X.2 is still in an experimental stage and the interface may change significantly. Features may be added, dropped, or modified without notice.


	Mail to webmaster	© 2000-2010 University of Karlsruhe