Yeah, exokernels tend to do VM management in a more split way than you might see in other OSs that might be obfuscating the underlying concepts. I'd take a look at how xv6 does it, as that's about as simple as it gets.