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
-- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/7fadebf3-2047-4b32-b20f-d25f79361bban%40googlegroups.com.
