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

[Roland McGrath]

> 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.