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_frontier_embedded_non_linux_devices/

Kind regards

Mahdi

On Wed, Aug 24, 2016 at 2:38 PM Christian Stroetmann <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

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel