Qubes relies on Linux, huge TCB.

Refer to Makatea[0] for Qubes reimagined on a less flawed architecture.

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

It doesn't rely on Linux, it relies on Xen and hardware virtualization: https://www.qubes-os.org/faq/#why-does-qubes-use-xen-instead...