Just to satisfy my curiosity about the comments here on Digital Unix's
size, I telnet'd into my ISP running Digital Unix.
-rwxr-xr-x 1 root system 9388376 Apr 26 12:10 vmunix.old
Now that's big!
Note, that may be a debugging kernel, those can grow from the normal
(!) 3MB to 6MB or more for most commercial OS's. But then again I
also just checked my nearby Alpha/AXP box and sure enough the sucker
is similar in size:
-rwxr-xr-x 1 root bin 8429408 Dec 14 1994 vmunix*
;-)
Later,
David S. Miller
dm@sgi.com