Re: mach deficiencies
Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> 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
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.