Linux EasyNov 12

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

Ironclad OS Il Nuovo Kernel Unix-like Scritto in Ada e SPARK per la Massima Sicurezza

Ironclad OS è un nuovo kernel Unix-like scritto in Ada e SPARK invece che in Rust o C. Un progetto che guarda alla verifica formale e alla sicurezza dei sistemi embedded.

Linux Easy - News da Mondo Linux
Show threadSimon BrookeNov 11

@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

Ironclad is a free software formally verified kernel written in SPARK/Ada

🐦‍🔥nemo™🐦‍⬛ 🇺🇦🍉Nov 11
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
Ironclad OS project popping out Unix-like kernel in a unique mix of languages

: There's more to safer systems languages than Rust

The Register
Show threadKevin Karhan Nov 9

@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