[SeaBIOS] [PATCHv2] load hpet info for HPET ACPI table from qemu

[Peter Stuge]

Avi Kivity wrote:
> In general, ACPI code can work with memory or device registers that have 
> been initialized by the BIOS and depend on them.  It's possible to write 
> ACPI code that depends on preceding BIOS code.

It's also possible to write C code that makes extensive use of goto. :)

To be fair, ACPI bytecode for actual hardware may need to rely on the
firmware because of limitations in the hardware. But I think qemu is
one instance where any ACPI bytecode can be kept simple.


> I don't know if that's the case with our ACPI implementation.

Where is that code? Who has the ASL for qemu? Who wrote it? Is it big?


//Peter