Module sev::launch

Everything one needs to launch an AMD SEV encrypted virtual machine.

This module contains types for establishing a secure channel with the AMD Secure Processor for purposes of attestation as well as abstractions for navigating the AMD SEV launch process for a virtual machine.

Modules

• sev
  An implementation of the SEV (non-ES, non-SNP) launch process as a type-state machine. This ensures (at compile time) that the right steps are called in the right order.
• snp
  An implementation of the SEV-SNP launch process as a type-state machine. This ensures (at compile time) that the right steps are called in the right order.