Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

sel4 is more suited for tasks with very limited but also very sensitive functionality. For example, something like a secure element.

Technically, you _can_ add rich OS functionality (such as GUI) on top of sel4 but development will be slow and painful and the performance will be bad. And when done you haven't really improved security that much since most your assets are now outside the tiny kernel.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: