From: Miguel Landaeta <miguel@miguel.cc>
Subject: Re: [0/5] vmd: generate and expose ACPI tables to the guest via fw_cfg
To: tech@openbsd.org
Cc: Mike Larkin <mlarkin@nested.page>
Date: Thu, 11 Jun 2026 22:25:47 +0000

On Wed, Jun 10, 2026 at 05:31:47PM +0000, Mike Larkin wrote:
> 
> Thanks for the diffs. I already have a couple different implementations that
> are further along than this however, so I'll probably continue merging those into
> one workable version. Those include working lapic and ioapic emulation as well
> as acpi table generation, etc...

Good to know this is being worked on! My goal was multi-VCPU support in vmd.

I have a hacky branch booting with 2 VCPUs. Is that where your work is
headed as well?

Happy to test patches or help where useful.