While I agree with the sentiment given my bias towards safe systems languages, Genode OS is pretty much mostly C++, although they added some Ada/SPARK as well, which is relatively recent research OS.