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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
