HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by nickpsecurity | Hacker News Reader
Full thread
nickpsecurity
·
Just rewrite the engines in Rust and SPARK Ada running on seL4.
View on HN
No comments yet.