3 ms·
> Fuchsia/Zircon, Redox, and now this. Don't forget the original (for Linux anyway), SEL4. https://sel4.systems https://sel4.systems
by SkyMarshal 4y ago
> Fuchsia/Zircon, Redox, and now this.
Don't forget the original (for Linux anyway), SEL4.
https://sel4.systems https://sel4.systems
- senko 4y agoseL4 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 https://en.wikipedia.org/wiki/L4_microkernel_family#History) which actually predates Linux (L3 was developed back in '88).