L4/Alpha 0.2.9

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT L4/Alpha

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.