Original link: Ironclad OS project popping out Unix-like kernel in a unique mix of languages / TheRegister.
Ada, SPARK and formal verification then it doesn't get any safer!