Re: L4Android kernel didn't intialize L4 stack for the server thread.
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/