Nevertheless, there have been some newer systems. One in particular, the L4 microkernel, shares many features with Spring's kernel. In particular it also uses a synchronous call/return system for IPC, and has a similar VM model. L4 has, so far, concentrated almost solely on the kernel itself; there is nothing analogous to Spring's naming service, security model, or file system.
