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

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Apr 3 13:43:27 CEST 2012

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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list