Passing data to a thread

Hi,

I'm trying to pass some data to a newly created thread.
Since l4_thread_ex_regs only accepts an instruction pointer, but no data
pointer, it seems impossible to me to use a parameterized function such as:
> thread1_func(void *data) { /* Read the data ... */ }

So far, my efforts are:

1. I've tried filling the stack allocated to each newly created thread with
> thread_stack = malloc(8 << 10);
> thread_stack[0] = my_data;
but then I'm not able to pop the data from the stack in thread1_func.

2. I've tried using IPC: The main thread which is creating the new
threads sends the data to the destination thread. I'm using l4_ipc_send
in the main thread and l4_ipc_receive in thread1_func just like in your
utcb-ipc example. It works great, but unfortunately the call of
l4_ipc_send leads to an _immediate_ execution of thread1_func (timeouts:
L4_IPC_NEVER), so my scheduling policy is not respected.

So how can I pass data to a thread in a way that is equivalent to
passing arguments to functions?

Best regards,
Valentin