YAMAMOTO, Hiroyuki, le Sun 04 Mar 2007 16:05:01 +0900, a écrit : > I suggest that this phenomenon doesn't occur in the gnumach-dbg kernel > in fact. Eergl :( Guillem, can you confirm that gnumach and gnumach-dbg are compiled exactly the same way (-O2, notably) except --enable-kdb? Samuel