Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update mapping tutorial due to API changes for AArch64 VSpaces

Ivan-Velickovic opened this issue · comments

commented

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.