Closed kent-mcleod closed 1 year ago
The aarch64 vspace API is changed to only have a single pagetable object and capability type for all intermediate page table levels. The root vspace object is still a separate object and capability type.
Test with: https://github.com/seL4/seL4/pull/801 Test with: https://github.com/seL4/seL4_libs/pull/59
The aarch64 vspace API is changed to only have a single pagetable object and capability type for all intermediate page table levels. The root vspace object is still a separate object and capability type.
Test with: https://github.com/seL4/seL4/pull/801 Test with: https://github.com/seL4/seL4_libs/pull/59