Michael Banck wrote:
Can you install the corresponding version of gnumach-dbg, and change your Grub entry to boot that? If you catch the Mach bug the next time, it should drop you to the kernel debugger; please tell us the address of eip for further information.
I was not able to reproduce the phenomenon by the gnumach-dbg kernel (Version: 2:1.3.99.dfsg.cvs20070211-1) though I
tested 30 times or more.By way of experiment, when it returned to the gnumach kernel (Version: 2:1.3.99.dfsg.cvs20070211-1) and I tested on the same condition, I reproduced it by the first time.
I suggest that this phenomenon doesn't occur in the gnumach-dbg kernel in fact.
Hiroyuki