L4Android kernel didn't intialize L4 stack for the server thread.

[Adam Lackorzynski]

On Mon Apr 02, 2012 at 12:58:35 -0500, Haohui Mai wrote:
> One more related question -- it seems that when I call Linux
> functions, e.g., vmalloc(). The contents of message registers are no
> longer preserved.
> 
> Is it desired behavior?

Indeed it cannot be expected that this is the case. To preserve the
contents the vCPU needs to be locked appropriately to prevent
preemptions. The L4XV_* wrappers can be used for that.




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/