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:
mlarkin@nested.page
Date:
Mon, 15 Jun 2026 10:20:11 +0000

Download raw body.

Thread
On Fri, Jun 12, 2026 at 01:56:40AM +0000, Mike Larkin wrote:
> 
> yes this is where we are headed.
> 
> your full diff available somewhere?

This is my diff so far:

https://github.com/openbsd/src/compare/master...nomadium:src:vmd-multi-vcpu.patch

It boots a multi-VCPU guest to single-user via vmctl start -b /bsd.
I've tested with 1, 2, 3, and 4 VCPUs (8 also works but is noticeably slower).

Known limitations:

- Firmware (SeaBIOS) boot is broken. Not yet investigated.

- LAPIC timer is not implemented. APs execute work dispatched to them,
  but the guest scheduler cannot do preemptive time-slicing on them
  without timer interrupts.

- Tested on Intel (i5-8350U / Kaby Lake-R, Thinkpad T480) only. AMD not tested.

A few diagnostic log_warnx commits are still in the branch, happy to
strip them if you'd prefer a cleaner diff.