Hacker News new | ask | show | jobs
by heyjudy 2704 days ago
Not to the rigor seL4 has, with multiple-levels of verification.
1 comments
kccqzy 2704 days ago
Yes I agree, but still with significantly more rigor than your typical operating system (Linux, Windows, macOS).
link