← Back to context

Comment by tptacek

6 days ago

I didn't say "all software has the same security track record". seL4 has a much better track record than Sendmail by dint of not doing very much. I'm pretty comfortable with what people do and don't think about how much thinking I've done on this topic. Done much work with L4?

Then your point makes even less sense. Everything has security vulnerabilities therefore they are no different to other bug classes? What?