Bokdeuk Jeong

As I remember, @bitboom suggested to use tags instead of using branches. We need a versioning at this point before proceeding with the eac5 work. Can we decide now what...

I understand why we need pr252. However, I still don't understand why 'fn name(self)' results aborts while processing Islet with klee. Could you explain more about this?

**Guest Linux Kernel** The latest guest Linux kernel support for TDX is available [here](https://github.com/intel/tdx/tree/guest). In order to run as a TD guest, the Linux kernel must support the following features:...

https://github.com/AMDESE/AMDSEV/ issues/ 이슈중 74 번 > What virtio drivers does the SEV VM definitely support? >> .... feature support for VIRTIO_F_ACCESS_PLATFORM... >> -device amd-iommu,intremap=on,device-iotlb=on -device vhost-vsock-pci,disable-legacy=on,guest-cid=1,iommu_platform=on,ats=on iommu를 통해서 virtio backend가...

https://static.sched.com/hosted_files/kvmforum2021/a3/KVM_2021_sharing_TDP_IOMMU.pdf https://intel.github.io/ccc-linux-guest-hardening-docs/security-spec.html#virtio-and-shared-memory https://lwn.net/Articles/865216/

@p-sawicki2 Could you assign this recurring issue to one of your task members?

what do you mean by locking two (distinct) granules with the same address?