Svante Signell, le Tue 10 May 2011 11:50:46 +0200, a écrit : > 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. > > > > > > I'll try the second alternative. > > > > > or use nm > > > > on the "gnumach" binary to get its adress, e.g. 0x20001234, and use > > Are you referring to /boot/gnumach-1.3.99-486.gz now, or > /lib/libmachuser-2.11.2.so > In the first case the image is compressed.
The former. The latter is just a userland library (as its name suggests). Samuel
