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

On Thu, Jun 11, 2026 at 10:25:47PM +0000, Miguel Landaeta wrote:
> 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.

yes this is where we are headed.

your full diff available somewhere?