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