login sign up

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

ironclad-os.org · first added by @hn_wayback
saved by
1 person
discussions · 1
Ironclad – formally verified, real-time capable, Unix-like OS kernel 369 pts · 136 comments · Nov 2025 369 pts · 136 comments · Nov 2025
0 people saved or upvoted this