@dalias Microkernels are mostly a way to work around flaws in the implementation language.

Sure, something needs to manage the capabilities or references in a memory-safe language that needs to handle hardware, but none of the other parts need to have such access.

With that handled, there isn't any security-based need for multiple address spaces. Heterogenous memory could still be useful for caching and such though, of course.