道这样的系统存在并提供一个支持它们的机制。在L4下，这总共需要三个函数：Grant，Map和Unmap。结果设计哲学变成了最小化的。就像L4/MIPS的作者们所表述的：“一项特性当且仅当安全需要它在特权模式被实现时才应该在微内核里”。Mach关注于跨平台的可移植性，多处理器支持和其它“下一件大事”的主机。一个基于L4的操作系统必须提供那些上一代宏内核内部所内置的服务。例如，为了实现一个类Unix的安全系统，服务器必须提供像Mach内核所内置的权限管理。进一步说，消息在多数情况下必须检查其有效性。但仍