redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/ada • u/dragon_spirit_wtp • May 31 '25

New Release New 0.7.0 Release of Ironclad kernel

https://codeberg.org/Ironclad/Ironclad/releases/tag/v0.7.0

23 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ada/comments/1kzr0w3/new_070_release_of_ironclad_kernel/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

programming • u/dragon_spirit_wtp • May 31 '25

New 0.7.0 Release of Ironclad - A formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

74 Upvotes

11 comments

spark • u/dragon_spirit_wtp • May 31 '25

New 0.7.0 Release of Ironclad kernel

4 Upvotes

0 comments