On Wed, 25 Mar 2020 10:04:29 +0100
Gerd Hoffmann wrote:
> Hi,
>
> > > +{
> > > +AcpiRsdpData rsdp_data = {
> > > +.revision = 0,
> > > +.oem_id = ACPI_BUILD_APPNAME6,
> > > +.xsdt_tbl_offset = NULL,
> > > +.rsdt_tbl_offset = ,
> >
Hi,
> > +{
> > +AcpiRsdpData rsdp_data = {
> > +.revision = 0,
> > +.oem_id = ACPI_BUILD_APPNAME6,
> > +.xsdt_tbl_offset = NULL,
> > +.rsdt_tbl_offset = ,
> are we interested in 32-bit guests?
Well, sort-of. seabios runs in 32bit
On Thu, 19 Mar 2020 09:01:08 +0100
Gerd Hoffmann wrote:
> $subject says all. Can be disabled using the usual -no-acpi switch.
>
> Signed-off-by: Gerd Hoffmann
> ---
> include/hw/i386/microvm.h | 3 +
> hw/i386/acpi-build.c | 124 +++---
>
