Skip to content

x86_64: add an Asterinas boot profile for the qemu board#345

Closed
wang0191 wants to merge 10 commits into
syswonder:devfrom
wang0191:feature/asterinas-x86_64
Closed

x86_64: add an Asterinas boot profile for the qemu board#345
wang0191 wants to merge 10 commits into
syswonder:devfrom
wang0191:feature/asterinas-x86_64

Conversation

@wang0191

@wang0191 wang0191 commented Jul 2, 2026

Copy link
Copy Markdown

Adds an aster_guest toggle plus a whole CLI's worth of tooling around it,
since this needed to actually be pleasant to build/run/debug rather than a
pile of ad-hoc shell commands.

  • board.rs / platform.mk: the toggle itself, selects the Asterinas boot
    config.
  • aster-hv-ops/: hv-asterctl, a Python CLI with build/run/verify/
    bench subcommands, plus the shell scripts it wraps.
  • A hardening pass over both the tooling and the module-relocation/MMIO
    work opened separately in this queue.
  • Kconfig registration for aster_guest.

Depends on four separately-submitted fixes this feature actually needs to
work correctly: the multiboot2/module-relocation hardening, the MMIO
decoder rewrite, CPUID leaf 0x15, and the guest-interrupt-destination fix.
That's a lot of prerequisite PRs for one feature — happy to combine or
reorder however's easiest to review.

Ran hv-asterctl verify --reuse-guest against a real QEMU/KVM boot: got
FUNCTIONAL VERIFICATION COMPLETE: PASS with 39 distinct syscalls
observed, so this isn't just "the kernel prints a banner and hangs" — it's
actually running guest code that makes real syscalls. Build and format
checks clean.

wang0191 added 9 commits June 17, 2026 22:38
Following dev's Cargo-features-to-Kconfig migration, aster_guest now lives
in kconfig/Kconfig (x86-specific options) with a cfg_map.toml entry
instead of a Cargo.toml feature. Updated aster-hv-ops (hv-asterctl,
build-hvisor.sh) to flip it on by editing .config after "make defconfig"
rather than passing FEATURES=... to make, since that argument was removed
upstream.
@github-actions github-actions Bot added the x86_64 label Jul 2, 2026
@wang0191 wang0191 force-pushed the feature/asterinas-x86_64 branch from 6de96e0 to 34be05e Compare July 2, 2026 15:43
@wang0191 wang0191 force-pushed the feature/asterinas-x86_64 branch from 34be05e to f0b6ff2 Compare July 2, 2026 16:44
@Solicey Solicey closed this Jul 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants