Dov Murik

Good questions. Some of this is from empirical attempt of launching an SEV-ES guest and looking at the VMSA that KVM sees before encrypting it. I'll look into this and...

For cr0, AMD APM Vol 2 Table 14-1 (page 526 in PDF) says: > Value after INIT: > CD and NW are unchanged > Bit 4 (reserved) = 1 >...

Value of `g_pat` is taken from [this line](https://gitlab.com/qemu-project/qemu/-/blob/master/target/i386/cpu.c#L5944) in the QEMU initialization. It also appears in kvm's code as `MSR_IA32_CR_PAT_DEFAULT`.

> should we use the `INIT` status, not `RESET` ？， why? > and，what's more， in amd‘s doc, it saids "CD and NW are unchanged", so how do you know the...

Thanks @fd0r for your contributions. We're looking into it.

Thank you @stealthBanana for trying HElayers. Indeed the pyhelayers version that is included inside the helayers-pylab docker image does include the HEaaN backend, but the pyhelayers released on PyPi (which...

Hi @stealthBanana , pyhelayers 1.5.2.0 was released yesterday. It should have HEaaN support built-in. Can you try it? (`pip install --upgrade pyhelayers`)

FHE models don't support operations like ReLu which cannot be directly implemented in FHE. The FHE-friendly resnet18 model that our notebook uses is generated by the script below. It has...

I pushed a v2 of this branch (7 patches) to https://github.com/svsm-vtpm/linux-svsm/tree/attestation-protocol-v2 : * it is based on @cclaudio 's #55. * it removes the WIP parts: it actually calls openssl's...

Update: I published the guest kernel RFC patch series for getting SVSM attestation report https://lore.kernel.org/linux-coco/[email protected]/ It uses the `SVSM_ATTEST_SERVICES` call implemented in the [attestation-protocol-v2](https://github.com/svsm-vtpm/linux-svsm/tree/attestation-protocol-v2) branch (mentioned in the previous comment).