From mboxrd@z Thu Jan  1 00:00:00 1970
From: Lucio De Re <lucio@proxima.alt.za>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] how small can you get
Message-ID: <20020208072512.S10869@cackle.proxima.alt.za>
References: <5db494ec1c50fed106319e1df84858e1@plan9.bell-labs.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
In-Reply-To: <5db494ec1c50fed106319e1df84858e1@plan9.bell-labs.com>; from jmk@plan9.bell-labs.com on Thu, Feb 07, 2002 at 09:53:52PM -0500
Date: Fri,  8 Feb 2002 07:25:12 +0200
Topicbox-Message-UUID: 4ebf1690-eaca-11e9-9e20-41e7f4b1d025

On Thu, Feb 07, 2002 at 09:53:52PM -0500, jmk@plan9.bell-labs.com wrote:
> 
> On Thu Feb  7 20:54:13 EST 2002, schwartz@bio.cse.psu.edu wrote:
> > | I just built a stripped down pc kernel --
> > | IDE, CGA, no ether, no network, and got 
> > | about 361kb.
> > 
> > I'm surprised it is that big.  Back in the days of 4.2BSD, normal
> > kernels were smaller than that.  But maybe the vax had better code
> > density than x86.
> 
> I don't have easy access to a 4.2BSD kernel, so this will have to do:
> 
> o% pwd
> /rls/unix/4.3bsd/GENERIC
> o% ls -l vmunix
> --rwxr-xr-x M 49476 0 10 407552 Jun  6  1986 vmunix
> o% xd -s -4d vmunix|sed 2q
> 0000000  0000000264 0000279844 0000080872 0000100324
> 0000010  0000025716 2147488504 0000000000 0000000000
> o% hoc
> 279844+80872+100324
> 461040

Off the top of my head, the 68000 kernel for the AT&T Unix PC that I
am most familiar with was just >150K.  With loadable device drivers,
admittedly.  I could get more details tonight.

++L