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