Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom. Version 0.5.0 has been released. This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems. The easiest way to try Ironclad, either virtually or on real hardware, is to use a distribution that uses it – Glo ... ⌘ Read more
Ironclad is a formally verified, hard real-time capable kernel for general-purpose and embedded uses, written in SPARK and Ada. It is comprised of 100% free software, free in the sense that it respects the user’s freedom. Version 0.5.0 has been released. This release brings a lot of improvements to mainly the scheduling, time keeping, userland, and networking subsystems. The easiest way to try Ironclad, either virtually or on real hardware, is to use a distribution that uses it – Glo ... ⌘ Read more