From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Tue, 13 Dec 2005 13:16:38 -0500
From: William Josephson <jkw@eecs.harvard.edu>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] MS Research reinvents Inferno?
Message-ID: <20051213181638.GB68786@mero.morphisms.net>
References: <c08a2d6fedca2d4d0c0927b927cbe230@proxima.alt.za>
	<1134493372.4921.0.camel@localhost.localdomain>
	<ee9e417a0512130943i35bfb952q8eece80ff581350@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <ee9e417a0512130943i35bfb952q8eece80ff581350@mail.gmail.com>
User-Agent: Mutt/1.4.2.1i
Topicbox-Message-UUID: c3302144-ead0-11e9-9d60-3106f5b1d025

On Tue, Dec 13, 2005 at 12:43:27PM -0500, Russ Cox wrote:
> Some of the kernel core (i.e., the low-level assembly, the garbage
> collector, the debugger) is written in unchecked languages,
> but most of it (including, for example, the scheduler and all the
> device drivers) is written in checked languages.  Safe device drivers
> alone would fix a huge fraction of the Windows crashes.

To hear (some of) the UW guys tell it, it is ``just SPIN'' :-)