Issues on L4linux

Adam Lackorzynski adam at
Mon May 30 22:16:16 CEST 2005


On Mon May 30, 2005 at 10:25:48 +0100, Tiago Jorge wrote:
> I've been running l4linux in l4env mode for some time, but some errors 
> never ceased to exist.
> The first error consists on page faulting. The error consists on the 
> dm_phys saying it page faulted correctly, but the task i was running 
> blocks... to what values must or wich commands sould i use in order to 
> increase the memory so that i can proceed with the tasks?

I do not really understand your problem. dm_phys usually allocates all
memory it can get, so there's nothing to increase. Is this task running
in L4Linux? If so, what role does dm_phys play here? What do you mean
with "page faulted correctly" and then blocks? If the thread blocks the
reason could be a missing mapping.

> The other error happens when i try to reboot. When i halt the system, no 
> problem arises. bue when i try to reboot, the systems always 
> pagefaults... what's the problem with that?

Previous L4Linux versions could be shut down with this sequence as the
loader would special case this page fault. Now the region manager is
catching this and complaining, so this actually needs to be done in
other ways. (Simplest way, comment out the block and add a
l4_sleep_forever()). I guess 2.6 does it right.
Anyway, rebooting isn't possible anyway so 'halt' has the same meaning

Adam                 adam at

More information about the l4-hackers mailing list