On 6/3/2025 10:53 PM, Paolo Bonzini wrote:
On 6/3/25 13:26, Philippe Mathieu-Daudé wrote:
On 3/6/25 05:04, Xiaoyao Li wrote:
On 6/3/2025 1:31 AM, Cédric Le Goater wrote:
Use PRI formats where required and fix pointer cast.
Maybe we can make 32-bit build exclusive with CONFIG_TDX? since TDX
is not supported on 32-bit host.
Yes please!
No objections, but I'm still applying these first to fix the build.
Can anyone guide how to implement it? Or directly help cook a patch?
I'm struggling to learn the 32-bit build stuff and create a 32-bit
environment.
Paolo
