tree da5857fbdb61bcde59949fbd4bdc9924dd2fdb91
parent 11e4ef23082e9e7eafb086d462b7de5630a7e810
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565587339 +1000
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565588667 +1000

sel4vspace: Deferred rights reservation mapping

This extends the sel4vspace interface to support the ability to
create reservations where the rights for the memory region are
deferred to the vspace mapping invocation. This is useful when the
creation of a reservation and the mapping of the reservation are
not local and the rights cannot be determined during reservation
creation.