using l4linux structures in l4

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