top | item 27567494

(no title)

fuchsia seems like a solid attempt by goog to write a ground up os

discuss

sparkie|4 years 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|4 years ago

A 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