News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by mmrezaie on Tuesday August 06, 2019 @04:25PM (#20629208)
> seL4 is easy to do wrong

This was our main stopper. seL4 would benefit greatly to teach how everything can be fit together, and where everything can be expected to go.

[ Parent | on HN ]
Re:10 Years SeL4: Still the Best, Still Getting Better by im_down_w_otp on Tuesday August 06, 2019 @04:36PM (#20629336)
We overcame this with a significant amount of Rust-i-ness and effort in understanding the guts of the kernel and how it implements its assurances.

Basically by providing setup, resource management, and communication abstractions that you just can't get wrong because doing something dumb that would be entirely nuts and/or would result in difficult to deal with run-time errors (as the kernel enforces some of its guarantees) ends up being rejected by the compiler ahead of time.

[ Parent | on HN ]
Re:10 Years SeL4: Still the Best, Still Getting Better by repolfx on Wednesday August 07, 2019 @09:25AM (#20634452)
What sort of mistakes were easy to make?
[ Parent | on HN ]