I told her about the solutions to a lot of these problems such as trusted GUI years ago. I think the oldest doing this stuff are from 2003. She didn’t want to look into any of it. Here’s the one I give for an intro:
The only FOSS project trying to use best-of-breed components such as Nitpicker, NOVA, or seL4 is Genode since Feske comes from that background. They’re more of a framework than a polished solution like Qubes, though. The techniques and components are out there should Qubes team ever want to apply them. LANGSEC and Cap n Proto have even improved the opportunities on protocol side for things such as IPC.