Double Page Fault problem

[Christian Helmuth]

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.

-- 
Christian Helmuth
## Dept. of CS, TU Dresden,  Germany ##
## http://os.inf.tu-dresden.de/~ch12 ##