-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Forget my last answer. I overlooked that you had an L4Linux problem. The solution is nearly the same, but in L4Linux you need to change the definition of L4LX_THREAD_NO_THREADS in asm/l4lxapi/generic/thread_gen.h
Bjoern