Genode OS framework is technically more challenging and a better solution than QubesOS.
In fact, officially Genode OS has in their own pipeline the integration with the SafeNetwork.
About Genode’s specs, the full doc:
If you want a video introduction:
About Genode’s future objectives (check the third one from the top):
https://genode.org/about/challenges