Virtual memory and pager

	Hello,

	I'm trying to understand how L4 manages system memory. I have read a 
lot of docs, but I'm not sure that I have understood very well.

	On my system, I have installed L4, default sigma0 and a hand made 
roottask. Roottask must use sigma0 to map virtual addresses to real 
ones. If I want to use virtual memory, I have to write a new memory 
manager. Right ?

	This memory manager has to be split in two parts, a L4 server launched 
by roottask (that includes pagefault management) and a client library. 
Is there anywhere some memory management examples ? I have found 
http://www.lg2.de/vm.html but I'm not sure that sources are available.

	Any URL or exhaustive documentation are welcome.

	Regards,

	JKB