Issues on L4linux

[Tiago Jorge]

hello...
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?
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?

thanks for the help

Tiago