L4/Alpha / News: Recent posts

The newly released L4KA::Pistachio adds support for Alpha and other architectures. It implements the L4 version 4 API.

More information can be found at http://l4ka.org/projects/pistachio/

L4/Alpha version 2 kernel found on this site is now not supported and no longer developed.

A version of L4 for Alpha processors has been released in source form under the GNU GPL. The kernel is provides full, scalable and low-overhead support for SMP systems. It has been tested on 21064, 21164 and dual CPU 21264 systems. This is the first release of a multiprocessor version of L4, and the second 64-bit version (after MIPS, also from UNSW).

The source is available from http://l4alpha.sourceforge.net. We hope that this release will stimulate external interest (and participation) in L4 development and use.... read more