Dlaczego system operacyjny nie jest pisany w C++?

Zauważyłem że systemy operacyjne, choćby ten testowy Barrelfish mają najważniejsze części jak jądro pisane w C. Dlaczego nie może jądro być napisane w C++? Przecież on jest łatwiejszy, ma lepszą składnię, nie mówiąc o usprawnieniach w pisaniu programów.

Moim zdaniem zależy to od potrzeb - jeśli większość rzeczy w systemie operacyjnym jest proceduralna,to lepiej użyć C,natomiast,to co jest obiektowe lepiej się pisze w C++ - chodzi też o gospodarkę pamięcią,klasy C++ z racji swoich funkcji są bardziej rozbudowane,co wymaga więcej pamięci

Obiektowo tworzy się interfejsy użytkownika

Jako ciekawostkę dodam, że początkowo bardziej popularny od języka C był Pascal. Dopiero gdzieś w połowie lat 80tych zaczął dominować język C, a następnie C++.