Programas por l4alpha.sf.net
-
L4/Alpha Livre
A porta L4/Alpha do microkernel L4, atualmente suporta toda a gama de processadores Alpha de 64 bits, incluindo os 21064, 21164 e 21264. Suporte multiprocessador existe para 21264. L4/Alpha é distribuído sob o GPL.