tree ad517f957b422adafb60868f2007d62d0dcd3514
parent f333d1f466ce96a0a47db83ae6dab6299015f653
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1576292502 +1100
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1576292544 +1100

libsel4utils: Initialise an empty vspace

Implemented a new interface function
'sel4utils_get_empty_vspace' that allows the user to
create a vspace that has no part of the virtual address
space being pre-reserved e.g. kernel region. This is useful in
cases where processes belong to virtual machine based applications
and need the full address space.