sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Update mapping tutorial due to API changes for AArch64 VSpaces

Open Ivan-Velickovic opened this issue 1 year ago • 0 comments

The mapping tutorial (https://docs.sel4.systems/Tutorials/mapping.html) refers to levels of paging objects that no longer exist due to RFC-10 (https://sel4.atlassian.net/jira/software/c/projects/RFC/issues/RFC-10) and hence should be updated.

Ivan-Velickovic avatar Sep 05 '23 12:09 Ivan-Velickovic