Skip to content

CapMap: Remove the root cnode upper bound#576

Open
cazb2 wants to merge 1 commit into
seL4:mainfrom
au-ts:callumb/remove_cnodesize_limit
Open

CapMap: Remove the root cnode upper bound#576
cazb2 wants to merge 1 commit into
seL4:mainfrom
au-ts:callumb/remove_cnodesize_limit

Conversation

@cazb2

@cazb2 cazb2 commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

This commit determines the size of the root cnode based upon the largest slot number that is specified in the sdf. It then uses the appropriately sized cnode object in the spec.

@cazb2
cazb2 force-pushed the callumb/remove_cnodesize_limit branch from 24f0748 to cc9096a Compare July 23, 2026 03:37
Comment thread tool/microkit/src/util.rs
}

/// Returns the number of bits required to repr the input
pub fn calculate_size_bits<T: Into<u64>>(size: T) -> u8 {

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

ilog2.

@cazb2
cazb2 force-pushed the callumb/remove_cnodesize_limit branch from cc9096a to 43876f8 Compare July 23, 2026 03:38
@midnightveil

Copy link
Copy Markdown
Collaborator

I want to think about the mechanics of this. The original plan was to expand the sub-cnode, I'm not sure about the root right now.

This commit determines the size of the root cnode based upon the largest
slot number that is specified in the sdf.

Signed-off-by: Callum <c.berry@student.unsw.edu.au>
@cazb2
cazb2 force-pushed the callumb/remove_cnodesize_limit branch from 43876f8 to b1eda39 Compare July 23, 2026 03:47
@cazb2

cazb2 commented Jul 23, 2026

Copy link
Copy Markdown
Contributor Author

Does that imply a refactor such that any user specified caps won't live in the root cnode but a subcnode?

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.

2 participants