Double Page Fault problem
ch12 at os.inf.tu-dresden.de
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
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.
## Dept. of CS, TU Dresden, Germany ##
## http://os.inf.tu-dresden.de/~ch12 ##
More information about the l4-hackers