tree 13031e01963c67a702fe8d691fe0d5a0b8faf4b0
parent 3c74117e71b97eabe0e4f8af934af070de99628b
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565587850 +1000
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565588831 +1000

sel4utils: Deferred rights reservation creation

Updated sel4utils to support the new vspace interface function:
'vspace_reserve_deferred_rights_range_at_fn'. This enables the
user to create vspace reservations without passing the rights of
the memory region. The rights being deferred to the mapping
invocation.