Ironclad-Project/Gloire
View on GitHub ↗ ★ 2 Shell
(Mirror of https://codeberg.org/Ironclad/Gloire). An OS built with the Ironclad kernel and GNU tools.
5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2025-01-14 · latest 2025-11-09
20082026
-
…meaning that you can run a lot of UNIX programs on it already, like what "Gloire" does: https://github.com/Ironclad-Project/Gloire
comment by ajdude · 2025-11-09 · in Ironclad – formally verified, real-time capable, Unix-like OS kernel -
…has a POSIX API, so yes, in principle it should be possible. There is an OS on top of Ironclad ( https://github.com/Ironclad-Project/Gloire ) which uses GNU tools.
comment by Rochus · 2025-11-09 · in Ironclad – formally verified, real-time capable, Unix-like OS kernel -
…to see the effort here. I'll have to check it out a bit more. [1] https://ironclad.nongnu.org/ [2] https://github.com/Ironclad-Project/Gloire?tab=readme-ov-fil...
comment by eggy · 2025-03-18 · in Coq-of-rust: Formal verification tool for Rust -
Check out this cool project https://github.com/Ironclad-Project/Gloire
comment by jaypatelani · 2025-02-09 · in Ada Gems (2014) -
…is high-risk given it is not even close to SPARK2014/Ada in this arena. https://muen.codelabs.ch/ https://github.com/Ironclad-Project/Gloire
comment by eggy · 2025-01-14 · in Muen SK for x86/64 – formally verified Separation Kernel