Hello, Could you retry to get the trace with the gnumach kernel I've uploaded to
http://dept-info.labri.fr/~thibault/tmp/gnumach.gz ? It's not fixing the issue, but has better debugging traces. Please make sure to also send a picture of the trace (with the parameters on the right), it may be useful to have too. Samuel
