using l4linux structures in l4

Adam Lackorzynski adam at
Mon Jul 11 23:06:54 CEST 2005

On Mon Jul 11, 2005 at 14:41:00 -0400, Andrew Davenport wrote:
> What is the simplest way to use (eg) the task_struct from linux inside the l4
> microkernel.  I want to use exactly the same declaration in the kernel, but I am
> having difficulty using it.

Well, take the struct, replace every not needed type with generic ones
and use it. Adventurous...

Adam                 adam at

More information about the l4-hackers mailing list