tree 6fa87a615515e7b35ac57b2652fce54197393647
parent d1abeb4d1c1657d7ab6484f664a3d2d4b474e8c1
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565588179 +1000
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565589610 +1000

sel4utils: Mapping deferred rights reservations

Updated sel4utils to support the new vspace interface function:
'vspace_deferred_rights_map_pages_at_vaddr_fn'. This enables the
user to pass in the rights of the memory region when mapping a
'rights deferred' vspace reservation.