metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

[wip] ponder at gats

This commit is contained in:
Berkus Decker 2020-12-03 02:33:08 +02:00
parent 4979e82a12
commit a01445d0da
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
nucleus/src/arch/aarch64/objects.rs
View File

@ -67,6 +67,9 @@ trait Untyped {
fn retype<T: NucleusObject>(target_cap: CapNodeRootedPath, target_cap_offset: usize, num_objects: usize) -> Result<CapSlice>; // @todo return an array of caps? fn retype<T: NucleusObject>(target_cap: CapNodeRootedPath, target_cap_offset: usize, num_objects: usize) -> Result<CapSlice>; // @todo return an array of caps?
} }
// with GATs
// trait Retyped { type Result = CapTable::<T> .. }
// MMU // MMU
// ActivePageTable (--> impl VirtSpace for ActivePageTable etc...) // ActivePageTable (--> impl VirtSpace for ActivePageTable etc...)