This series consists of two patches:

The first patch packs the device tree for microvm. This is a soft
prerequisite for the next patch that exposes it via IGVM.
Currently the unpacked microvm device tree buffer occupies 1 MiB
(the default FDT_MAX_SIZE), while the actual content is well below
4096 bytes. Packing removes the unused space.

The second patch exposes the device tree via IGVM.

This will be consumed by Coconut SVSM with the upcoming device tree
support [1]. This will allow SVSM to run on a normal CPU (not AMD SEV-SNP)
and execute all its tests using upstream QEMU.

Eventually edk2 will also be able to consume DT via IGVM, but the work
has not started yet.

[1] https://github.com/coconut-svsm/svsm/pull/1006

To: qemu-devel@nongnu.org
Cc: Michael S. Tsirkin <mst@redhat.com>
Cc: Paolo Bonzini <pbonzini@redhat.com>
Cc: Richard Henderson <richard.henderson@linaro.org>
Cc: Gerd Hoffmann <kraxel@redhat.com>
Cc: Stefano Garzarella <sgarzare@redhat.com>
Cc: Ani Sinha <anisinha@redhat.com>
Cc: Zhao Liu <zhao1.liu@intel.com>
Cc: Oliver Steffen <osteffen@redhat.com>

Signed-off-by: Luigi Leonardi <leonardi@redhat.com>
---
Luigi Leonardi (2):
      hw/i386/microvm: pack device tree
      igvm: Fill device tree IGVM parameter field on x86_64

 backends/igvm.c       |  2 ++
 hw/i386/microvm-dt.c  |  9 +++++++++
 include/system/igvm.h |  2 ++
 stubs/igvm.c          |  6 ++++++
 target/i386/igvm.c    | 36 ++++++++++++++++++++++++++++++++++++
 5 files changed, 55 insertions(+)
---
base-commit: 29c042c6e9d4a09d4a0ac3fa54aeb7ee08ce0bdc
change-id: 20260608-microvm_device_tree-0263c3b1be86

Best regards,
-- 
Luigi Leonardi <leonardi@redhat.com>