On Mon, Jun 08, 2026 at 04:11:56PM +0200, Gerd Hoffmann wrote:
On Mon, Jun 08, 2026 at 11:37:47AM +0200, Luigi Leonardi wrote:
Coconut SVSM, with the upcoming device tree support[1], will use
the IGVM device tree parameter to discover virtio-mmio and ISA serial
devices instead of relying on the fw_cfg interface, which is
QEMU-specific.
The IGVM parameter handler is implemented for the i386 machine
target and stubbed for all others.
Hmm, why? I can't see anything i386-specific in that code, it should
work just fine everywhere. For example on aarch64 (which is not yet
supported by qemu but already in the igvm specification).
take care,
Gerd
Right, good point. I think this function can be moved to `backends/igvm.c`
directly, so we'll have aarch64 DT support for free.
Luigi
