[0/5] vmd: generate and expose ACPI tables to the guest via fw_cfg

Miguel Landaeta <[email protected]>
Newsgroups gmane.os.openbsd.tech
Message-ID <[email protected]>
I tested these changes on a guest running -current, please see below the
relevant diff from dmesg output.

I also tested a recent Linux kernel (6.18.x) and it still boots
successfully.


15,16c15,16
< bios0 at mainbus0: SMBIOS rev. 2.4 @ 0xf2220 (10 entries)
< bios0: vendor SeaBIOS version "1.16.3p1-OpenBSD-vmm" date 01/01/2011
---
> bios0 at mainbus0: SMBIOS rev. 2.4 @ 0xf1d40 (10 entries)
> bios0: vendor SeaBIOS version "1.16.3p2-OpenBSD-vmm" date 01/01/2011
18,19c18,23
< acpi at bios0 not configured
< cpu0 at mainbus0: (uniprocessor)
---
> acpi0 at bios0: ACPI 3.0
> acpi0: sleep states
> acpi0: tables DSDT FACP APIC
> acpi0: wakeup devices
> acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat
> cpu0 at mainbus0: apid 0 (boot processor)
> cpu0: apic clock running at 0MHz
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.