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