2 ms·
What are the advantages/disadvantages of Zircon over seL4? I've read up a bit on seL4, but can't seem to find the rationale or design decisions behind Zircon.
by sparkie 5y ago
What are the advantages/disadvantages of Zircon over seL4?
I've read up a bit on seL4, but can't seem to find the rationale or design decisions behind Zircon. Not sure why Google needs to roll their own microkernel when there is a fast, secure, formally verified one they could use.
- upforgrabs 5y agoA web search shows some speculation suggesting it could be Zircon's larger feature set and a desire for an in-house ground up solution. Fuchsia leads are on twitter; they seem very nice and some have open DM's. They'd probably be happy to answer