8000 Make map_region public by jsturtevant · Pull Request #1293 · hyperlight-dev/hyperlight · GitHub
[go: up one dir, main page]

Skip to content

Make map_region public#1293

Merged
jsturtevant merged 1 commit intomainfrom
rally/mapregionpublic
Mar 10, 2026
Merged

Make map_region public#1293
jsturtevant merged 1 commit intomainfrom
rally/mapregionpublic

Conversation

@jsturtevant
Copy link
Contributor
@jsturtevant jsturtevant commented Mar 9, 2026

Hyperlight-wasm requires this for memory mapping in the components. This was removed during an early iteration where this did not work but now that CoW has been released this can be exposed again for use in HL-wasm

#1293

ludfjig
ludfjig previously approved these changes Mar 9, 2026
syntactically
syntactically previously approved these changes Mar 9, 2026
Copy link
Member
@syntactically syntactically left a comment

Choose a reason for hiding this comment

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

I think the interface to this will be a bit messy on Windows, where the user will have to provide the handle themselves. That's fine for now though I think. Happy to merge ASAP.

@jsturtevant jsturtevant dismissed stale reviews from syntactically and ludfjig via 80bc52c March 9, 2026 22:31
@jsturtevant jsturtevant force-pushed the rally/mapregionpublic branch from 1b294f6 to 80bc52c Compare March 9, 2026 22:31
Hyperlight-wasm requires this for memory mapping in the modules.  This was removed during an early iteration where this did not work but now that CoW has been released this can be exposed again for use in HL-wasm

Signed-off-by: James Sturtevant <jsturtevant@gmail.com>
@jsturtevant jsturtevant force-pushed the rally/mapregionpublic branch from 80bc52c to 813dae1 Compare March 9, 2026 22:32
@jsturtevant jsturtevant enabled auto-merge (squash) March 9, 2026 23:00
@jsturtevant jsturtevant merged commit 3c19ca9 into main Mar 10, 2026
60 checks passed
@jsturtevant jsturtevant deleted the rally/mapregionpublic branch March 10, 2026 07:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind/bugfix For PRs that fix bugs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

0