Real operating systems are virtually always written in C (or occasionally C++), but hardly ever in languages like Java, Python, or Haskell. C is powerful, efficient, and predictable, characteristics critical for writing operating systems.
Andrew S. Tanenbaum (Author), Modern Operating Systems
