Re: prune the images?

David A Rusling (rusling@linux.reo.dec.com)
Tue, 26 Nov 1996 18:14:45 +0000

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Christian Warden: "video card/udb"
Previous message: Bryan W. Headley: "binutils fun"
Maybe in reply to: Jim Nance: "prune the images?"
Next in thread: Przemek Klosowski: "Re: Help with udb please."

>
> 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...

Dave

----------------------------------------------------------------------
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 axp-list-request@redhat.com with
'unsubscribe' as the subject.  Do not send it to axp-list@redhat.com

Next message: Christian Warden: "video card/udb"
Previous message: Bryan W. Headley: "binutils fun"
Maybe in reply to: Jim Nance: "prune the images?"
Next in thread: Przemek Klosowski: "Re: Help with udb please."