On Thu Jun 23, 2005 at 08:48:03 +0200, Kay-Uwe Genz wrote:

Hi @ all,

a want to know more about the virtual memory implementation in L4. Where can I find the following paper?

Kevin Elphinstone. Virtual Memory in a 64-bit Microkernel. PhD thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, March 1999.

http://www.disy.cse.unsw.edu.au/publications.pml

Of course, google could have told you that ;)

Benno