On Fri, Jul 21, 2000 at 02:24:46PM +0200, Marcus Brinkmann wrote: > Okay, here is a more thorough explanation: The server I mean gets the > keyboard events directly from GNU Mach, and goes from that. So as long > as GNU Mach and this server are fine, they will work correctly and > process > console switch command just fine, regardless of the state of the various > terminals.
I think we should exclude keyboard server from GNU Mach. It would be way more flexible.
