PROGRAMS BY l4alpha.sf.net

The L4/Alpha port of the L4 microkernel, currently supports the entire range of Alpha 64-bit processors including the 21064, 21164 and 21264. Multiprocessor support exists for 21264. L4/Alpha is distributed under the GPL.