System operacyjny programuje się w języku C i Assemblerze. Nawet C++ nie jest dobrym wyborem. Nie można użyć języka wysokiego poziomu, ponieważ ma wysokopoziomowe API. System musi być wydajnie napisany. Język C jest idealny ponieważ można się spodziewać tego co wypluje assembler. W C++ jest trudniej. Nie mówiąc o językach wysokopoziomowych np. Java, C#, Python, Ruby... które wymagają maszyny wirtualnej dla danego języka, a ona systemu operacyjnego.
C będzie królować przy systemach operacyjnych. Chyba, że wymyślą jakiś nowocześniejszy język który jest niskopoziomowy, ale to nie zmieni faktu, że w C jest dużo kodu systemowego, a przepisywanie go to tracenie czasu, tak jak tworzenie transpilatora (który pewnie nie będzie tworzył optymalnego kodu).