#
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>
|
#
9a43632b |
|
04-Mar-2020 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vmmplatsupport: Update documentation This commit refreshes the interface documentation in libsel4vmmplatsupport. This commit patches in missing documentation and additionally ensures all interface documentation conforms to Doxygen style comments.
|
#
c69cd028 |
|
13-Dec-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
trivial: Style changed files
|
#
d69d884d |
|
02-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vmmplatsupport: Arguments for device fault Updated the arguments passed into the device fault callback within the device datastructure. These have been reduced since the removed parameters can be extracted from the vcpu object.
|
#
0cafb22a |
|
24-Sep-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vm: Moved/Refactored device datastructure Moved the arm device management datastructure that existed in the arm source out to libsel4vmmplatsupport. Internally we don't need to use the device datastructure since internal drivers use the memory interface for registering fault callbacks. The device datastructure can rather be used as a management utility for VMM's.
|