Hello Xilong

So we have here also a alternative or competitor to Genode OS. Let us wait, when Google will present its verified L4 based microkernel.

I took a quick look on the referenced code repository, but could not find the link to Google. Can you tell me where you found this information?



Best Regards
Christian Stroetmann

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