5 ms·

Google's Fuchsia/Zircon cannot come fast enough.

• amelius 5y ago
  Because they use formal methods preventing this kind of thing from happening?
  • kgraves 5y ago
    Even with your formal methods strawman, vulnerabilities like these are still possible in Linux and C. We need to move on.
    • freemint 5y ago
      You can formally verify C code against a spec though.
• k4rli 5y ago
  I wouldn't expect additional security from introducing an entirely new OS/kernel. Just unknown RCEs and other vulnerabilities waiting to be discovered.
  • kgraves 5y ago
    Just like Linux so no change there, We still need to move on.
• throwaway889900 5y ago
  Why not seL4 then?