> What parts are needed besides seL4 to get a fully functioning Chromium
> browser running in a Wayland server? (No virtual OS inside seL4). I'm
> talking native seL4 OS capable of running Chromium with all features. Hoping
> for some insightful answers, and at least a list from a Pro - of the minimum
> parts needed for this.
>
Genode is capable of running Chromium although it has its own window
system rather than Wayland, and seL4 is not the preferred microkernel
for Genode. I'm also in the process of writing my own QNX-like OS
<https://gitlab.com/uxrt> with strong Linux compatibility (meaning it
will be capable of running both Chrome and Chromium), which will at
least initially use seL4 as its microkernel, although it will be its
own thing rather than some kind of "personality" that can coexist with
other OSes on a single seL4 kernel. It also won't use a native Wayland
server although it will support Wayland clients through shims
(initially it will just use X11 but that will be replaced with a
custom window server that better fits into its architecture than
either X11 or Wayland).
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to