seL4? Fuchsia? Something else new? We've known for now that proper capability-based security is both more safe and more productive (global state is just hard).

seL4? Fuchsia? Something else new? We've known for now that proper capability-based security is both more safe and more productive (global state is just hard). We just need to put it into practice.