Question: how to define the initial vCPU state in IGVM and how to apply them in QEMU

[ymjing]

Hi Roy,

Great work! And would you mind pointing me to the code in your QEMU patch where the vCPU registers are set? As I understand it, the construct_vmsa() method in src/vmsa.rs is just to setup the VMSA page which is to be copied by QEMU into the guest memory? Does QEMU read from the page and set the vCPU states?

Thanks in advance.

[ymjing]

buildigvm --firmware /path/to/OVMF.fd --output sev-snp.igvm \
              --cpucount 4 sev-snp

Why is the generated sev-snp.igvm file smaller than OVMF.fd?