Make `setvar region_paddr` works on x86-64
@dreamliner787-9 is already working on this.
Since Jun 19, 2026.
Assessment
This issue has not been assessed yet.
Description
Currently it does not work as the physical addresses of memory regions without a phys_addr attribute are determined at runtime in the capDL initialiser by the objects allocation algorithm.
To make this work we would need to make 2 changes to the initialiser:
- Add a way to express "patch physical address of object A to virtual address B in VSpace C" in the capDL Spec.
- Add a way to tell the allocation algorithm to allocate certain ranges of objects contiguously in physical memory. This is important because it would be reasonable for the user to expect their memory regions to be contiguous if they care about physical addresses.
- Dominant language
- Rust
- Stars
- 201
- Forks
- 80
- Avg merge
- 1d 4h
- Merged PRs (30d)
- 7
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from seL4/microkit
-
Difficulty 2/5 Half a day Newbie friendliness 72/100
-
Difficulty 1/5 1-3 hours Newbie friendliness 86/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
kwakseongjae/auto-hwp#319 ·
-
area:cli bug filter-quality good first issue priority:medium
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
bevyengine/bevy#25861 ·
-
comp-datalake
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
ClickHouse/ClickHouse#121222 ·
-
enhancement remote
Difficulty 2/5 1-3 hours Newbie friendliness 68/100