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