Codezero 是一個新的 L4 微內核的系統，用以提供虛擬化以及本地化的操作系統。