That sounds like the Exokernel project. Notably different from a "multikernel"/"replicated kernel" design.