Earlier quoted context omitted.
C also has a runtime, that is what takes care of calling main() , handling VLAs, floating point emulation, constructor/destructors (GCC C extensions), ... Besides there are plenty of OSes written in type safe system languages to learn from, including surviving mainframe OSes.
I feel much of the negativity that you like to express towards C is unwarranted. Fact is, it's both very easy and efficient to interface with "C" or more specifically, platforms' standard ABIs.
As for the negativity, Morris worm is now 30 years old and the CVE database gets C derived exploits every month.