4 ms·
https://github.com/seL4/seL4 https://github.com/seL4/seL4 https://www.mitls.org/ https://www.mitls.org/
by microcolonel 9y ago
https://github.com/seL4/seL4 https://github.com/seL4/seL4
https://www.mitls.org/ https://www.mitls.org/
- bluejekyll 9y agosel4 is amazing, but it is not bug free: https://github.com/seL4/seL4/issues/36 https://github.com/seL4/seL4/issues/36 It might be close... for miTLS I don't have access to the issues, but let's assume it's bug free now for sake of argument; it hasn't always been bug free, that is in earlier unproven releases. "Program testing can be used to show the presence of bugs, but never to show their absence!" - Edsger Dijkstra
- microcolonel 9y agoMinor nitpick: the x86 port was never verified, the 32-bit ARM one was.