Re: prune the images?

David A Rusling (
Tue, 26 Nov 1996 18:14:45 +0000

> 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 :^)

Err, no. I estimate around +.25Mbytes. Mostly it's all of the code in irq.c and
bios32.c as opposed to bits of it...


David A Rusling Principal Engineer
European Semiconductor Applications Digital Equipment Co Ltd.,
Engineering PO Box 121,
Imperial Way,
Worton Grange
Reading RG2 0TU
Linux, Alpha, StrongArm, PCI Tel: UK-(0)1734-204380
Fax: UK-(0)1734-203133

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