From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: Date: Tue, 13 Dec 2005 13:50:40 -0500 From: Russ Cox To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu> Subject: Re: [9fans] MS Research reinvents Inferno? In-Reply-To: <3c6bafeb2c3a70a2ac873b2b75a08955@coraid.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <3c6bafeb2c3a70a2ac873b2b75a08955@coraid.com> Topicbox-Message-UUID: c34bc516-ead0-11e9-9d60-3106f5b1d025 > > 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. > > That's the Oberon part. Some of that is true, but they do more checking than Oberon, and they can verify the bytecodes they ship around while Oberon could make no such guarantee about its binaries. Russ