Genode running on top of seL4 seems very promising!!!

But there's still no minimal decent desktop (e.g.: lxqt)