On Tue, 2011-05-10 at 11:39 +0200, Samuel Thibault wrote: > Svante Signell, le Tue 10 May 2011 11:38:08 +0200, a écrit : > > On Mon, 2011-05-09 at 18:43 +0200, Samuel Thibault wrote: > > > Svante Signell, le Mon 09 May 2011 18:33:14 +0200, a écrit : > > > > > > Single stepping in msgserver.c also triggered the console printout: task > > > > 5040ee18 deallocating an invalid port 340/xxx, most probably a bug. > > > > > > Note that you can make the kernel start the in-kernel debugger in that > > > case. Simply set the mach_port_deallocate_debug variable to 1, > > > > Where to set this variable? In the source code of gnumach, recompile, > > install > > Yes.
Looks like gnumach-1.3.99.dfsg.git20110305 does not build from source any longer: make[3]: Entering directory `/home/srs/DEBs/gnumach/gnumach-1.3.99.dfsg.git20110305/build' if test -s gnumach-undef-bad; \ then cat gnumach-undef-bad; exit 2; else true; fi .L430 make[3]: *** [clib-routines.o] Error 2 make[3]: Leaving directory `/home/srs/DEBs/gnumach/gnumach-1.3.99.dfsg.git20110305/build' At least with gcc-4.6 and mach_port_deallocate_debug=1!