tree 49eab24824d9a6a87596a0b2912cbd51ac74666a
parent 27c4371c7386c0b1991030f62ead93a5306e8985
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1576193744 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1576195074 +1100

libsel4utils: Initialise an empty vspace

Implemented a new interface function
'sel4utils_get_empty_vspace_with_map' that allows the user to
create a vspace (with map) 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.