2007/11/18, Adam Lackorzynski adam@os.inf.tu-dresden.de:
You did use gcc-4.1.1-something, right? Could you use some recent gcc-4.2 and retest? That would be interesting.
I tried gcc-4.2.2 and result is the same. I also tried to push some 0xdeadbeef into the stack of calling ipc (code of l4_ipc_call_tag into ipc-l42-gcc3-pic.h). When pf occurs, I don't find the markers into the stack of X thread. Maybe stack is corrupted or I don't understand what happens ?
Have you some hint, tips to understand what happens ?
Regards Marc