Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!samsung!uunet!shelby!shelby!pst
From: pst@jessica.Stanford.EDU (Paul Traina)
Newsgroups: comp.org.usenix
Subject: Re: W91 USENIX in retrospect
Message-ID: <PST.91Feb5084939@ack.Stanford.EDU>
Date: 5 Feb 91 13:49:39 GMT
References: <26879@ucsd.Edu> <10404@muffin.cme.nist.gov>
	<ELF.91Feb4151419@giza.cis.ohio-state.edu>
	<1991Feb4.223144.14566@zoo.toronto.edu>
Sender: news@shelby.stanford.edu (USENET News System)
Organization: Big Ed's Gas Farm, Twin Peaks, Washington
Lines: 18
In-Reply-To: henry@zoo.toronto.edu's message of 4 Feb 91 22:31:44 GMT


In article <1991Feb4.223144.14566@zoo.toronto.edu> henry@zoo.toronto.edu (Henry Spencer) writes:


   And is it really appropriate to call 60,000 lines of source a "micro" kernel?
   (Mach.)

You're right Henry,  UNIX kernels are too slow and bloated.

I could have done the whole thing in...oh, I dunno, maybe...AWK!?!

...yeah...AWK, that's it, that's the ticket!

		/vmunix_awk

						Paul

p.s. :-)