Index | Thread | Search

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

Download raw body.

Thread
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.