search

seL4 / seL4_libs

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

utils/vka: update for aarch64 api change #17

Closed pingerino closed 5 years ago

pingerino commented 5 years ago

Use seL4_ARM_VSpace rather than seL4_ARM_PageGlobalDirectory

goes with https://github.com/seL4/seL4/pull/139