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

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Apr 2 11:23:48 CEST 2012

On Sun Apr 01, 2012 at 15:09:11 -0500, Mai, Haohui wrote:
> It seems that I found a bug in the latest version of L4Android kernel. I'm
> familiar enough with the code base so your comments are highly appreciated.
> The main thread for L4Linux (i.e., the thread running l4x_server_loop())
> didn't initialize l4x_stack before execution. Therefore, this thread
> crashes whenever it calls cli() / sti().
> Calling vmalloc() and kmalloc() can reproduce this bug reliably. Here is a
> patch to fix this problem.

On this thread no Linux code must be called, so any stack setup is not
required. Call Linux functionality only in proper CPU contexts.

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

More information about the l4-hackers mailing list