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.
Using a well-known search engine you get the following address:
http://citeseer.ist.psu.edu/elphinstone99virtual.html
Regards, Martin