tree a6ef7151d588937ffcdd010df8b7f2940acfc778
parent 08f7cbdbec18c89b30e23017e63e79c0655dc8ab
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565753212 +1000
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1565753212 +1000

sel4utils: Default value of 'rights_reserved' flag

Updated reservation creation to set the default value of the
rights deferred flag.