using l4linux structures in l4

[Andrew Davenport]

Hello,

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.

Thanks,
Andrew