Skip to content

Comments

Explicitly error out on host-guest version mismatch#1252

Open
ludfjig wants to merge 1 commit intohyperlight-dev:mainfrom
ludfjig:custom_elf_section_hl_version
Open

Explicitly error out on host-guest version mismatch#1252
ludfjig wants to merge 1 commit intohyperlight-dev:mainfrom
ludfjig:custom_elf_section_hl_version

Conversation

@ludfjig
Copy link
Contributor

@ludfjig ludfjig commented Feb 23, 2026

Hyperlight currently provides no backwards compatibility guarantees for guests. We should therefore error out explicitly if someone loads an old guest with new host, as they ABI might no longer match.

This PR enforces that hyperlight-host version must match the guest's hyperlight-guest-bin version.

Closes #845

Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
@ludfjig ludfjig added the kind/enhancement For PRs adding features, improving functionality, docs, tests, etc. label Feb 23, 2026
@ludfjig ludfjig marked this pull request as ready for review February 23, 2026 20:23
Copy link
Contributor

@dblnz dblnz left a comment

Choose a reason for hiding this comment

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

This looks good, but do we want to match against the patch version also?

I think it would be better to ensure that the guest's major/minor are the same, but the patch version is greater or equal the host's version.

@ludfjig
Copy link
Contributor Author

ludfjig commented Feb 24, 2026

This looks good, but do we want to match against the patch version also?

I think it would be better to ensure that the guest's major/minor are the same, but the patch version is greater or equal the host's version.

I thought about this, and then decided to be as conservative as possible, because this would limit some things we can update in patch versions. Maybe this is a good start, and then we can consider later whether we should relax it?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/enhancement For PRs adding features, improving functionality, docs, tests, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

What are the backwards compatibility guarantees for guest binaries?

2 participants