Marcus Brinkmann <[EMAIL PROTECTED]> writes: > I would like to have multiple kernels in the Debian distribution, so you > could choose which one you want ot run currently. I don't know hard it is to > achieve this. Could Hurd be designed to run on different microkernels > without recompilation?
This is extremely unlikely, if you want any real performance. Programs make system calls, down at the root, and one of the key ways that different microkernels affect performance is by changing the syscalls. You could, of course, do emulation, but then you immediately lose whatever advantages you would have gotten. Basically, I think that libc, the Hurd, and any statically-linked programs just have to be compiled separately for each kernel.
