*> Fuchsia/Zircon, Redox, and now this.* Don't forget the original (for Linux an... | Hacker News

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

login

SkyMarshal on June 16, 2022 | parent | context | favorite | on: The Helios microkernel

> Fuchsia/Zircon, Redox, and now this.

Don't forget the original (for Linux anyway), SEL4.

https://sel4.systems

senko on June 16, 2022 [–]

seL4 has nothing to do with Linux, aside from the fact that the team was involved in another Linux-on-top-of-L4 project (L4Linux).

Also, seL4 comes from a long line of L4 microkernels (https://en.wikipedia.org/wiki/L4_microkernel_family#History) which actually predates Linux (L3 was developed back in '88).

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact