Ironclad OS è un innovativo kernel Unix-like sviluppato in Ada e SPARK, linguaggi sicuri per sistemi critici. Scopri come questo progetto open source punta alla verifica formale per garantire sicurezza ed affidabilità nei sistemi embedded e real-time. #Kernel #Linux #Unix #IroncladOS

https://www.linuxeasy.org/ironclad-os-il-nuovo-kernel-unix-like-scritto-in-ada-e-spark-per-la-massima-sicurezza/?utm_source=mastodon&utm_medium=jetpack_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!

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

@nixCraft this makes total sense for #CriticalInfrastructure control systems as well as #aerospace applications.

• Which is good because there needs to be more competition to the likes of #VxWorks!

#RTOS #Realtime #OS #OperatingSystem #FLOSS #Irobclad #IroncladOS