2 ms·

Genode running on top of seL4 seems very promising!!! But there's still no minimal decent desktop (e.g.: lxqt)