Hi, I was doing some research on IGVM, but I did not find any example. Does anybody have an example of an IGVM file and a QEMU command line that I could use to launch the coconut-svsm? This might be helpful for other people too. Thanks, Claudio