[qubes-users] KataOS - bullet-"proof"?

Mailing Lists qubes-users
1

Hello,
might KataOS be a good foundation for QubesOS to make the core as strong as possible in terms of security (via software validation, security proofs)?
Kind Regards