Double Page Fault problem

Christian Helmuth ch12 at
Thu Sep 9 17:53:35 CEST 2004


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

Christian Helmuth
## Dept. of CS, TU Dresden,  Germany ##
## ##

More information about the l4-hackers mailing list