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. Paolo
