Genode Page-Fault Handling and IRQ architecture

[Daniel Waddington]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20121221/ac2f65b4/attachment.html>