L4Android kernel didn't intialize L4 stack for the server thread.
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
More information about the l4-hackers