Hacker News new | past | comments | ask | show | jobs | submit login

SeL4: The proof of functional correctness for the 64-bit Arm architecture (fosstodon.org) 2 points by nabla9 6 months ago | hide | past | favorite

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: