Hacker Next
Ironclad – formally verified, real-time capable, Unix-like OS kernelironclad-os.org
260 points by vitalnodo 11 hours ago | 61 comments