On 12/13/05, William Josephson <jkw@eecs.harvard.edu> wrote:

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'' :-)