Es hat auch noch niemand hier gefordert, ein OS in einer High-Level-Sprache zu schreiben, der OP einzig allein ausgesagt, das Korrektheitsbeweise fuer den Linuxkernel nicht machbar sind (und deshalb Fehler passieren).
Aber wenn du schon das C-Bashing beginnen moechtest: Die Anfuehrungszeichen kannst Du dir sparen, in fast jeder Sprache entwickelt es sich sicherer als in C.

> C ist halt nunmal die beste Sprache für relativ hardwarenahes Programmieren daran
änderst auch du nichts.

Aber auch C wird sehr wahrscheinlich irgendwann mal überholt sein.

Linus hat sehr deutlich erklärt, wieso er sich gegen einen stable und einen development tree entschieden hat. Mit dem alten Modell wurde mehrere Jahre am neuen Kernel gebaut, der Code an sehr vielen Stellen komplett geändert. Das betraf dann nicht nur ein Subsystem, sondern den gesamten Kernel. Da das ganze ein Entwickler-Kernel war, wurde der auch nur von sehr wenigen Leuten getestet. Am Ende, wenn man dann beschloss, dass die Arbeit fertig ist, und der Kernel als stable released wurde, traten dann die Fehler auf. Logisch, wenn der Code nur unzureichend getestet wurde. Mit dem neuen Modell, werden Änderungen wesentlich partieller vorgenommen. Man tauscht nicht mehr bei einem Release den halben Kernel aus. Das führt insgesamt zu einem deutlich umfangreicheren Testszenario bei weniger Veränderungen. Es bringt nichts, wenn hunderte von 2.7er Kerneln veröffentlicht werden, aber die nicht den notwendigen Tests unterzogen werden.