But it's bad enough if any do. (some do affect Qubes)
It is an architectural problem.
SeL4 is a good replacement, with excellent performance and strong formal proofs.
But it's bad enough if any do. (some do affect Qubes)
It is an architectural problem.
SeL4 is a good replacement, with excellent performance and strong formal proofs.