Hi,
Google has announced a new operating system fuchsia, https://github.com/fuchsia-mirror Its kernel is called Magenta, Magenta has a capability-based security model, this is very similar to seL4.
Does anyone pay attention to Google's new operating system fuchsia?
Xilong Pei
Tongji University
Shanghai, China
2016/8/24