I ironclad-os.org Ironclad – formally verified, real-time capable, Unix-like OS kernel 375 points vitalnodo 11 months ago 144 comments
