Hacker News (curated)new | past | comments | ask | show | jobs| show hidden

The solution needs to be convenient, in practice that trumps security every time. If i need to run my existing apps in Linux VM under seL4, others, fully featured hypervisors will look more enticing.


Genode appears to be very convenient if you are looking into a way to run microkernels for general purpose computing.



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