Hi Björn!
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
Ok, I see. Is there a reason why it is set explicitly to 24? Are there any
side effects of increasing that number?
Regards
Oskar.
--
Sirrix AG security technologies -
http://www.sirrix.com
Oskar Senft eMail: o.senft@sirrix.com
Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 519
get public key from keyserver
Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4
This message may contain confidential and/or privileged information. If you
are not the addressee, you must not use, copy, disclose or take any action
based on this message or any information herein. If you have received this
message in error, please advise the sender immediately by reply e-mail and
delete this message.