Hello,
On Thu, Sep 09, 2004 at 05:07:40PM +0200, Leon wrote: [...]
Q1: Any suggestions/help to solve this problem!
Maybe this problem is related to bug in the current version of DICE. Please, try downgrading DICE via
cd l4/tool/dice cvs update -D 2004-08-27
and rebuild all IDL-generated files plus all binaries.
Q2: I do not know the debugger tools at all, so any pointers (or links) on how to start use them to track this problem down would be appreciated.
A good one is JDB, look at http://os.inf.tu-dresden.de/~fm3/doc/fiasco/manual.pdf.