▲ 3 ▼ Ironclad is a (partially) formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% (ironclad-os.org) submitted 4 weeks ago by librebyte@lemmy.ml to c/librebyte@lemmy.ml 1 comment fedilink hide all child comments
[–] jasoman@lemmy.world 1 point 4 weeks ago Ill wait for the Silent one over Ironclad one. permalink fedilink source