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

Maybe they're using seL4?

I do not know of their design, but I know some helenos devs are involved, so it's sure to be a proper microkernel multiserver system.

if it's based on seL4, which is licensed undel GPLv2, that we should be able to get our hands on the source code! yay!

How so?

seL4 is just the kernel. Linux can have software with a range of licenses in userspace, so can seL4.

A system based on seL4 would be built as a bunch of services running under seL4, rather than by modifying seL4.

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