tree 9137827771fc9dd57b2dc7527426c9a7005b77ce
parent e014d83fc9415c1741bd4b00e831e32690b75f13
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582857272 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583456282 +1100

libsel4vm: Update documentation

This commit refreshes the interface documentation in libsel4vm.
This commit patches in missing documentation and additionally
ensures all interface documentation conforms to Doxygen style
comments.