Codezero 是一个新的 L4 微内核的系统，用以提供虚拟化以及本地化的操作系统。