Hacker News new | ask | show | jobs
by nickpsecurity 787 days ago
Are its TCB and integration similarly verified? If not formally-verified, are they in a safe language or statically analyzed to block common errors?
1 comments
monocasa 786 days ago
I mean, LionOS appears to (with the exception of sel4 itself) be mainly written in unverified C without heavy static analysis.

So LionOS and Genode appear to be about equal in that regard.

link