Re: Virtual memory and pager

BERTRAND Joel <[email protected]> Mon, 11 Oct 2010 15:08:35 +0200

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Farid Hajji a écrit :
> On Sun, Oct 10, 2010 at 7:52 PM, BERTRAND Joel
> <[email protected]>  wrote:
>>         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 ?
>
> Yes, you need your own VM manager.
>
> I've tried to use NetBSD's VM subsystem in a L4Ka-based setup,
> but quickly stumbled across the lack of mutexes (esp. of the NetBSD
> or Solaris-like flavor, i.e. the adaptive mutexes).

	I have to write a mutex/semaphore/spinlock server. Is your work 
available ? Maybe can I improve it.

	Regards,

	JKB