> Graviton5 introduces the Nitro Isolation Engine as an enhancement to the Nitro System, harnessing formal verification to provide mathematical certainty that your workloads are isolated from each other and AWS operators. Nitro Isolation Engine’s minimal, formally verified codebase [...]

A vendor hypervisor (because that's what that actually means) - in practice a replacement to KVM - is an interesting thing to have for sure. Let's see where this whole story will actually lead to...