> Holy cow: 9.1 MB /vmunix (THIS IS SUPPOSED TO BE A MICROKERNEL!!???)
> If this is the price for a unified kernel, I am not sure it is a good idea
While I wouldn't call myself a friend of Mach, in all fairness: DEC
Unix is based on Mach 2.5 which is _not_ a microkernel. Mach 2.5
started to lay the foundation for a micro-kernel but the actual
microkernel was implemented only starting with Mach 3.0.
I think a single kernel would be a good idea _provided_ that it would
be a configuration option. Say, you could pick between "generic" and
one of the real platforms. As long as picking a real platform will
give you a kernel as performant/optimized as the current kernels,
there is no reason not to do this (unfortunately the advent of the XL
has made this task a bit more onerous, but it shouldn't be that bad).
-- To unsubscribe: send e-mail to email@example.com with 'unsubscribe' as the subject. Do not send it to firstname.lastname@example.org
Copyright © 1995-1997 Red Hat Software. Legal notices