Another possibility is Microsoft Research's Singularity Project [1]. I read about both the Exokernel project and the Singularity project around the same time, so may have ideas from both conflated into one.
[1] https://www.microsoft.com/en-us/research/project/singularity...