Describe the support request
Hello, I am following your instruction to run and experiment TDX using QEMU. I have an issue about the TDX version. When I check the kernel log from host OS side, I get TDX version 1.5:
But when I check the kernel log inside the TD, I get this kernel log, mention that BIOS 2024.02-3+tdx 1.0. I am not sure what it means, and what exactly TDX version I get.
I want to do some experiments on TDX 1.5, what should I do now?
Thank you!