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

375 points

by vitalnodo

4 weeks ago

144 comments