Index | Thread | Search

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:
Sat, 19 Sep 2026 11:04:37 -0700

Download raw body.

Thread
  • Mike Larkin:

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

  • 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.
    
    following up on old threads I had parked.
    
    this is now implemented in -current
    
    
  • Mike Larkin:

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