Chương trình theo l4alpha.sf.net

Cổng L4/Alpha của microkernel L4, hiện hỗ trợ toàn bộ phạm vi của bộ xử lý Alpha 64-bit bao gồm 21064, 21164 và 21264. Hỗ trợ đa bộ xử lý tồn tại cho 21264. L4/Alpha được phân phối theo GPL.