Skip to content

Conversation

@Wenzel
Copy link
Owner

@Wenzel Wenzel commented Dec 1, 2025

fix #264

@Wenzel Wenzel requested a review from Copilot December 1, 2025 14:25
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the Xen driver to be compatible with Xen 4.18.0+. The changes address a breaking API change in Xen where domain_getinfo was replaced with domain_getinfolist.

  • Updated the Xen driver to use domain_getinfolist instead of the deprecated domain_getinfo method
  • Bumped Xen version from 4.17.0 to 4.18.0 in the Docker build configuration
  • Updated dependency versions to support Xen 4.18.0

Reviewed changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated no comments.

File Description
src/driver/xen.rs Changed API call from domain_getinfo to domain_getinfolist to align with Xen 4.18.0+
python/Dockerfile Updated Xen clone from RELEASE-4.17.0 to RELEASE-4.18.0
python/Cargo.toml Bumped Python package version from 0.2.15 to 0.2.16
Cargo.toml Updated xenctrl dependency from 0.7.0 to 0.8.0

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@Wenzel Wenzel merged commit 3063a22 into master Dec 1, 2025
32 of 44 checks passed
@Wenzel Wenzel deleted the xen/compat_4.18+ branch December 1, 2025 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

microvmi fails to initialize on Xen 4.20.1 (missing symbol xc_domain_getinfo)

2 participants