BTW, I think a really good use of the on-demand nested paging is to support distributed shared memory.  We did implemented on Genode a basic shared memory solution back in 2010.

Daniel