Skip to content

loader: Map all of RAM in the loader#511

Draft
midnightveil wants to merge 4 commits into
seL4:mainfrom
au-ts:julia/loader-mmu
Draft

loader: Map all of RAM in the loader#511
midnightveil wants to merge 4 commits into
seL4:mainfrom
au-ts:julia/loader-mmu

Conversation

@midnightveil
Copy link
Copy Markdown
Collaborator

This will fix #463 (closing #465) and #466.

Currently, this is blocked on somehow breaking SMP, for reasons I don't understand.

Opening this here as a reminder for fixing soon.

As opposed to them being accessed via global variables
directly. The reason to do this is to enable us to vary
the page table placement from the C side without needing
to touch or modify the assembly any further, which will
enable the future commits for making the number of page
page table structures dynamic, which is necessary for
making the loader 1:1 all of RAM.

Also, remove some redundant stack pops/pushs to util64.S.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This performs cleanups to the loader code, to remove a bunch of
boilerplate, and also makes the page table entries placed in
the loader binary at the end.

This is in preparation for moving towards mapping all of RAM
in the loader.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil midnightveil self-assigned this Jun 4, 2026
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.

broken atomic lock when starting multiple cores

1 participant