search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory #59

Closed kent-mcleod closed 11 months ago

kent-mcleod commented 2 years ago

These changes are required to support the proposed changes in https://github.com/seL4/seL4/pull/801.

Test with: https://github.com/seL4/seL4/pull/801 Test with: https://github.com/seL4/sel4test/pull/100