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.
UNSW Operating Systems Group disy@cse.unsw.edu.au http://www.cse.unsw.edu.au/~disy/
l4-hackers@os.inf.tu-dresden.de