From L3 to seL4: 20 years of L4 microkernels (2013) [video]

That video is from 2013. Is anyone aware of an update for the last ten years which covers 2013 to 2023? I would like to understand if seL4 is still considered "current" or there have been newer developments since then that are worth considering. I have searched around a bit, and apart from Google's Fuscia Zircon, or Unikernel's like UniKraft, other L4 spin-offs and XNU I am not finding too much about newer modern microkernels.

SOSP 2013<p>Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles November 2013<p><a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;2517349.2522720" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;2517349.2522720</a>

Question, and please don&#x27;t get mad at me if I&#x27;m fundamentally wrong.<p>Are there any projects trying to make a universal UNIX operating system with sel4?<p>I know of Genode, but is there anything more simple&#x2F;traditional?<p>PS: Helios is also there but not based directly on seL4