Re: [PATCH 04/13] microvm: add minimal acpi support.

[Gerd Hoffmann]

  Hi,

> > +    {
> > +        AcpiRsdpData rsdp_data = {
> > +            .revision = 0,
> > +            .oem_id = ACPI_BUILD_APPNAME6,
> > +            .xsdt_tbl_offset = NULL,
> > +            .rsdt_tbl_offset = &rsdt,
> are we interested in 32-bit guests?

Well, sort-of.  seabios runs in 32bit mode.

> if not than maybe use xsdt and newer revision like arm/virt does

Point being?  It's not like we can place the tables above 4G then.

cheers,
  Gerd