Skip to content

Add tests to validate behaviour of init-paging feature #1132

Closed

Description

@simongdavies

This change will break https://github.com/hyperlight-dev/hyperlight-nanvix as Nanvix expects to boot from 0x0.

This was previously changed to 0x0 to support Nanvix here: f5ba6a5

I see that we're changing the base address to introduce the NULL guard page, but is this necessary for guest COW? If so, perhaps we can tie this change to init-paging too?

#[cfg(feature = "init-paging")]
pub(crate) const BASE_ADDRESS: usize = 0x1000;
#[cfg(not(feature = "init-paging"))]
pub(crate) const BASE_ADDRESS: usize = 0x0;

Originally posted by @danbugs in #1127 (comment)

Activity

  1. added
    lifecycle/confirmedBug is verified or proposal seems reasonable
    and removed on Jan 21, 2026
  2. added this to the v0.14.0 milestone on Feb 25, 2026
  3. self-assigned this
    on Feb 25, 2026
  4. danbugs commented on Apr 1, 2026

    @danbugs
    Contributor

    This is very outdated w/ init-paging not even existing anymore. Plus, in my latest nanvix work, I also changed Nanvix base to be the default HL one, so I think we can just close this as won't fix or smt like that.

  5. added and removed
    lifecycle/confirmedBug is verified or proposal seems reasonable
    on Apr 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions