[SeaBIOS] Re: [PATCH] acpi: add xsdt support

[Gerd Hoffmann]

On Fri, Mar 27, 2020 at 04:05:56PM +0100, Igor Mammedov wrote:
> On Fri, 27 Mar 2020 09:24:10 +0100
> Gerd Hoffmann  wrote:
> > In case a xsdt table is present (and located below 4G)
> > prefer it over rsdt.
>
> not related to this patch, but in connection to supporting HW reduced
> profile, check places that use FADT.
> i.e.
> check for newer FADT revision
> skip pm timer init if hw reduced flag is set

seabios doesn't look at acpi tables to find pm timer.  It depends
on acpi pci devices instead, i.e. on microvm seabios doesn't use
pmtimer anyway.
> not sure what to do but there isn't FACS in hw reduced
> so we might need something else in find_resume_vector()

microvm doesn't support S3/S4, I don't think seabios will ever
need a resume vector ...

cheers,
  Gerd