Программы l4alpha.sf.net

L4/Alpha порт L4 микрокернель, в настоящее время поддерживает весь спектр Альфа 64-битных процессоров, включая 21064, 21164 и 21264. Мультипроцессорная поддержка существует для 21264. L4/Alpha распространяется под GPL.