开发者 l4alpha.sf.net

L4 微内核的 L4/Alpha 端口目前支持整个 Alpha 64 位处理器系列，包括 21064、21164 和 21264。21264 存在多处理器支持。L4/Alpha 在 GPL 下分布。