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

https://sel4.systems/ is a formally verified microkernel.



Applications are open for YC Summer 2018

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: