The main concern here, and you’ve been told multiple times, is that your content does not bring any contribution to the table, whatsoever.
Posting random links or making lists out of the blue, can hardly be helpful. Instead, you could focus on fewer topics and try to digest them and highlight the benefits, how they could be implemented, and any other additional useful information.
Perhaps update your existing threads before creating any new ones.
Otherwise your posts are just completely pointless.
Well done with the catchy title! Hope you don’t mind I made it slightly less flashy. And this isn’t a support request and isn’t QubesOS-specific. You should ask this in the Xen community perhaps.
Also, you just keep posting a bunch of links and documents without any meaningful contribution to the discussions you start. What’s the point? Why don’t you at least try to provide some context? Or maybe expand on your goal or possibly even propose a solution?
All these files and extremely interesting links you’re sharing, have already been posted multiple times in the forum, so perhaps a bit of “search-button-research” might prove beneficial to your endeavor.
Do you actually mean fork?
Who do you think will work on this new project?
In any case, as it currently stands, SeL4 isn’t yet verified for x86-64,
and the proofs exclude VT-X and VT-D. It isn’t verified in hypervisor
mode so there’s a long way to go. You’re talking as if SeL4 is a viable
alternative for Qubes: it isn’t.
I never presume to speak for the Qubes team.
When I comment in the Forum or in the mailing lists I speak for myself.