Tarafından Programlar l4alpha.sf.net

L4 microkernel'in L4/Alpha bağlantı noktası, şu anda 21064, 21164 ve 21264 dahil olmak üzere tüm Alpha 64-bit işlemci yelpazesini destekler. 21264 için çoklu işlemci desteği vardır. L4/Alpha GPL altında dağıtılır.