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.
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.