Free VMS - Virtual Memory System
FreeVMS is built on a L4/X2 microkernel. Each L4 server run in its own address space.