That’s about what I suggested some time earlier in issue #3894 ‘Use verified L4 kernel instead of Xen’. I hope they get along with that, and in close cooperation with Qubes!
The reason it is Qubes-like, rather than being a full Qubes OS port, is that it is limited to server-side uses where all VMs are defined in a compile-time configuration file. Obviously this is not sufficient for the desktop use-cases that Qubes OS targets. I both hope and believe that Qubes OS can and will be ported to seL4 at some point, but this will require substantial development effort.
SEL4 + Qubes is game changer
But unsw been talking about this for 10 years