Tracking issue: MicroVM support and private snapshot restore.
Motivation
An SMP microVM needs one consistent description of its processors across machine
configuration, guest tables, interrupt routing, and saved state. Canonical topology
and shared interrupt-status semantics make multi-processor boot and restore
reviewable and avoid backend-dependent interpretations of the same machine.
Proposed Scope
- Define a canonical topology and stable VP identities for supported microVM SMP
configurations.
- Apply the topology consistently to guest discovery, processor construction, and
snapshot compatibility checks.
- Define shared-status interrupt delivery, including how pending sources are
observed and cleared without losing another source's notification.
- Introduce required ACPI fields and update every affected platform constructor
and caller in the same PR.
- Preserve the single-VP profile and previously established restore behavior.
Acceptance Criteria
Dependencies
This ordering is an integration prerequisite, not a claim that CPU topology
inherently depends on a filesystem device.
Non-Goals
This issue does not introduce arbitrary CPU hotplug, cross-topology migration, or
the later policy for selecting VP targets during restore.
Tracking issue: MicroVM support and private snapshot restore.
Motivation
An SMP microVM needs one consistent description of its processors across machine
configuration, guest tables, interrupt routing, and saved state. Canonical topology
and shared interrupt-status semantics make multi-processor boot and restore
reviewable and avoid backend-dependent interpretations of the same machine.
Proposed Scope
configurations.
snapshot compatibility checks.
observed and cleared without losing another source's notification.
and caller in the same PR.
Acceptance Criteria
across supported boot and restore paths.
fail before guest execution.
source while another remains pending.
processor discovery, execution, and interrupt delivery.
no later PR is needed to complete the API change.
Dependencies
precedes this integration step so SMP validation covers the complete device set.
This ordering is an integration prerequisite, not a claim that CPU topology
inherently depends on a filesystem device.
Non-Goals
This issue does not introduce arbitrary CPU hotplug, cross-topology migration, or
the later policy for selecting VP targets during restore.