许每个应用程序应用以前只能应用于宏内核的调整形式。在L4系统下，操作系统（相对于内核）被期望提供分页服务，潜在地可以以很多种形式，允许开发者选取最适合于他们的工作的方式。内核的角色减少到知道这样的系统存在并提供一个支持它们的机制。在L4下，这总共需要三个函数：Grant，Map和Unmap。结果设计哲学变成了最小化的。就像L4/MIPS的作者们所表述的：“一项特性当且仅当安全需要它在特权模式被实现时才应该在微内核里”。Mach关注于跨平台的可移植性，多处理器支持和其它“下一件大事”的主机。一个基于L