> C is not meant for writing secure, mission-critical applications What OS kernels are actually used that are written in anything other than C? Plenty of them

> C is not meant for writing secure, mission-critical applications What OS kernels are actually used that are written in anything other than C? Plenty of them (INTEGRITY, VxWorks, QNX) written in C are used in secure, mission-critical applications.