Re: RFC for patch to add task_{set,get}_name RPC

[Samuel Thibault]

Roland McGrath, le Wed 08 May 2013 16:27:53 -0700, a écrit :
> > But we can't really ask the proc server from the kernel debugger.
> 
> There are lots of things you can't do from the kernel debugger.
> That doesn't mean that more state in the microkernel is the way
> to debug.

When it helps a huge lot to debug some things, it surely is a way to
debug.  I was able to debug quite a few spurious port deallocations as
soon as I was able to print from the kernel which process was doing
it.  I don't see how to do the same kind of debugging through the proc
server.

Samuel