#ironclados — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ironclados, aggregated by home.social.
-
@justkwin Interesting! And it's #GPL licenced and #EU funded, both of which make it even more interesting. #IroncladOS
More details here: https://ironclad-os.org/
There's even a full distro, #Gloire, with the GNU userspace stack, available here:
https://codeberg.org/Ironclad/Gloire
I'm very tempted to give it a try!
-
@justkwin Interesting! And it's #GPL licenced and #EU funded, both of which make it even more interesting. #IroncladOS
More details here: https://ironclad-os.org/
There's even a full distro, #Gloire, with the GNU userspace stack, available here:
https://codeberg.org/Ironclad/Gloire
I'm very tempted to give it a try!
-
@justkwin Interesting! And it's #GPL licenced and #EU funded, both of which make it even more interesting. #IroncladOS
More details here: https://ironclad-os.org/
There's even a full distro, #Gloire, with the GNU userspace stack, available here:
https://codeberg.org/Ironclad/Gloire
I'm very tempted to give it a try!
-
@justkwin Interesting! And it's #GPL licenced and #EU funded, both of which make it even more interesting. #IroncladOS
More details here: https://ironclad-os.org/
There's even a full distro, #Gloire, with the GNU userspace stack, available here:
https://codeberg.org/Ironclad/Gloire
I'm very tempted to give it a try!
-
Ironclad OS tops the news: a Unix-like kernel crafted in Ada and SPARK, bringing formal verification to a real-time, POSIX-friendly world. 🧠🔐 Debian/GLIBC-like familiarity, MAC security, and growing portability—plus Gloire on top. Learn more: https://www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/ #IroncladOS #Ada #SPARK #UnixLike #OSDev #newz