21 Dec
2012
21 Dec
'12
11:33 p.m.
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