Look into Makatea[0], a seL4-based QubesOS-like system.

0. https://trustworthy.systems/projects/makatea/