AWS анонсировала Nitro Isolation Engine, первый в мире гипервизор с формальной проверкой безопасности.
