Hacker News new | ask | show | jobs
by upforgrabs 1825 days ago
fuchsia seems like a solid attempt by goog to write a ground up os
1 comments
sparkie 1825 days 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.

link
upforgrabs 1824 days 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

link