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
