Ironclad – formally verified, real-time capable, Unix-like OS kernel

[vitalnodo]

Article URL: https://ironclad-os.org/

Comments URL: https://news.ycombinator.com/item?id=45860843

Points: 84

# Comments: 11