Farid Hajji farid.hajji@ob.kamp.net writes:
BTW, is anyone in the L4 community currently implementing a pager task that would resemble Mach-VM or, even better, UVM? This is of general interest to all developers of L4-based OS-personalities, not just l4-hurd. Getting all the memory from sigma0 upon startup is not very sexy ;-).
The current VM management model of L4Env is roughly based on the ideas described in ftp://ftp.cse.unsw.edu.au/pub/users/disy/papers/Aron_PJLED_01.ps.gz. See also the documentations for the L4 Region Mapper and Dataspace Manager at the L4 Developer's Bibliography mentioned by Michael.
Lars
l4-hackers@os.inf.tu-dresden.de