The Ironclad Operating System
/u/norayr/image/665.png
https://ironclad-os.org/
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% free software.
Ironclad features a familiar POSIX-compatible interface, true simultaneous preemptive multitasking, Mandatory Access Control (MAC), and support for hard real-time scheduling.
Posted in: s/ada
🐙 norayr [mod]
2025-11-22 · 6 months ago
😎 decant · Nov 24 at 02:04:
there was this 'adabsd' project years ago, they didn't release any code. Just a landing page