First trouble with core

[Marc CHALAND]

2008/8/14 Norman Feske <norman.feske at ...1...>:
>
> Supporting the NX bit makes much sense and it would also fit nicely
> into the Genode interfaces. However, this would not help for the
> current problem because both the stack and the heap are read/writable.

Yes, of course.

> Thank you for your configuration but unfortunately, I was not able to
> trigger the bug. Are you using the tool chain from our website?

No. The problem doesn't appear if I use toolchain. Maybe gcc 4.1.1 use
less stack ?
I had tu update my glibc to 2.4.

> Could you try setting the stack size of to 8192
> instead of 4096? Just modify the template argument for
> the server activation at
>  base/include/base/child.h:124

I tried also to do this with my gcc 4.2.2 and the problem disappears too.

In both cases, I encounter mad mouse trouble when I change window size
of scout for example. I get the following message :
[init -> ps2_drv] void* fwrite(): fwrite - not yet implemented
[init -> ps2_drv] void* fputs(const char*, void*): fputs: "Exception::Overflow"
[init -> ps2_drv] void* fwrite(): fwrite - not yet implemented
[init -> ps2_drv] void* abort(): abort called
I guess, sync is lost. I cannot get mouse after this.
On TUDOS, I fixed sync lost by changing driver priorities. Is there
any way to do this in genode ?

Today, I decided to use genode toolchain and not modify server activation stack.

Regards
Marc