tree 33de18b32f9e8b060c3d10f5360303bc47b42355
parent a41b3097a98773bad6ee6be04831d6adee7b79b3
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583307617 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583456292 +1100

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.