Hacker News new | ask | show | jobs
by snvzz 1408 days ago
What are these seL4 limitations?
1 comments
anonymousDan 1407 days ago
As I understand it, the multicore version was never verified. I could be out of date on that though.
link