> doesn't the kernel get credit either way?  either
> it's the source (devmnt) or the server (devcons).
> am i missing something?

if devmnt is involved, devcons is not.
it is some 9P server mounted on /dev/cons,
not the kernel's devcons.

russ

Reply via email to