Hello Mehdi

So far I got the picture already. Nevertheless, thank you for pointing out these facts once again.

The report [2] seems to be bought, because it is misleading the public and potentially infringing a copyright related with another system.

Despite of these, I do prefer a verified microkernel, such as seL4, and for example OntoLix and GenodeOS on top of it look much more promising. Also, I do not see a convincing reason for reinventing the wheel all the time.

Best Regards Christian Stroetmann

On the 24th of Aug 2016 at 13:37, Mehdi Amiri wrote:

Hi Christian,

As far as I know Fuchsia is the new OS on top of Magenta kernel. The kernel is not a verified L4 microkernel such as seL4, it's just a new microkernel on top of embedded LK [1] kernel to target modern ARM64 and x86 architecture. It currently supports QEMU and newer versions of Raspberry Pi.

You can get more information here [2].

[1] https://github.com/fuchsia-mirror/magenta/blob/master/docs/mg_and_lk.md [2] http://www.theregister.co.uk/2016/08/24/google_s_fuchsia_eyes_the_web_s_next...

Kind regards Mahdi

On Wed, Aug 24, 2016 at 2:38 PM Christian Stroetmann <stroetmann@ontolab.com mailto:stroetmann@ontolab.com> wrote:

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