Look into Makatea[0], a seL4-based QubesOS-like system.
0. https://trustworthy.systems/projects/makatea/