Hacker News new | ask | show | jobs
by amw-zero 1721 days ago
Here’s a talk where someone shares proofs within the sel4 verified OS project: https://youtu.be/AdakDMYu4lM.