Oskar Senft o.senft at
Fri Aug 11 17:12:08 CEST 2006


>>> You need to call l4x_prepare_irq_thread(current_thread_info()) in your
>>> thread before doing anything serious in there.
>> Ok, sounds good. Unfortunately I cannot find it in my snapshot (May
>> 5th, 2006) - since when should it have been in?
> l4x_setup_ti_thread_stack_irq(current_thread_info())
Great, thank you! That solved my problem.

Could you please add the necessary line
in arch/l4/kernel/main.c ?

Best regards

Sirrix AG security technologies -
Oskar Senft  eMail: o.senft at
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.

More information about the l4-hackers mailing list