| #
745291ce |
|
27-Nov-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert to SPDX license tags
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
| #
c69cd028 |
|
13-Dec-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
trivial: Style changed files
|
| #
7d59a109 |
|
12-Dec-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm[vmmplatsupport]: Fixed missing returns
Miscellaneous functions lacked returning a success code resulting
in non-deterministic behaviour.
|
| #
ca31812e |
|
01-Dec-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: Removed page_size field in VM object
Removed the page_size field in the VM object. The page size of
allocations and mappings can be left to the library user to
define. Updated uses of the page_size field to directly define the
page size value instead.
|
| #
7792bd5c |
|
08-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vmmplatsupport: X86 guest_image support
Added an implementation for supporting the loading of guest kernel
and module images on x86. This is a refactor of sources from
libsel4vm.
|