Re: prune the images?

David Mosberger (
Tue, 26 Nov 1996 11:09:09 -0700 (MST)

> the 32-bit port of LINUX 1.0 that was (thankfully) stillborn. Also, check
> out the size of "genvmunix" under Digital UNIX; that's the "generic" kernel
> for DU which will run on *EVERYTHING* between the Tadpole laptop and the
> 8400 MP boxen.

> 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 with
'unsubscribe' as the subject.  Do not send it to

Feedback | Store | News | Support | Product Errata | About Us | Linux Info | Search | JumpWords
No Frames | Show Frames

Copyright © 1995-1997 Red Hat Software. Legal notices