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

Read post on hnrss.org

Article URL: https://ironclad-os.org/Comments URL: https://news.ycombinator.com/item?id=45860843Points: 12# Comments: 0