@lanodan @chjara @iatendril There's no strict reason for not running everything on Qubes as unikernels with similar overhead save for the fact the dev-hours needed to actually set that up haven't been allocated & spent.
seL4 also has issues that prevent practical use (context: https://github.com/QubesOS/qubes-issues/issues/3894).