Hacker News new | ask | show | jobs
by hulitu 218 days ago
> Ironclad – formally verified, real-time capable, Unix-like OS kernel

What filesystems are supported ?