> > 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
