On Tue, Jun 12, 2001 at 12:09:27PM +0200, Florian Lohoff wrote: > I got a hint that it might be the compile to produce this bug - I was > suggested to use some gcc 3.0 prerelease. I now checked again and i am > already using some gcc 3.0 It's not a tool related bug but a genuine kernel bug in our semaphore code. Which - unfortunately is a bit of headache to fix but is more or less the #1 on the list of my instabilities right now. Ralf