I find odd that seL4, which just celebrated seL4 Summit[0], including a talk on CHERI[1], does not even get a passing mention. With its formal proofs, it shoul

I find odd that seL4, which just celebrated seL4 Summit[0], including a talk on CHERI[1], does not even get a passing mention. With its formal proofs, it should be the automatic go-to for security, high-assurance or hard realtime scenarios. 0. https://www.youtube.com/playlist?list=PLtoQeavghzr0ZntMmRPwg1VA1yJd_T3y9 https://www.youtube.com/playlist?list=PLtoQeavghzr0ZntMmRPwg... 1. https://www.youtube.com/watch?v=BQhykTrtIwg&list=PLtoQeavghzr0ZntMmRPwg1VA1yJd_T3y9&index=19&pp=iAQB https://www.youtube.com/watch?v=BQhykTrtIwg&list=PLtoQeavghz...