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