tree a742681410bf8293adc8e8d4e53024c26f7cabb1
parent 9a43632bf66744e7ede40a024656e3efd2072ab3
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583369390 +1100
committer Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1583470541 +1100

libsel4vmmplatsupport: Markdown docs

This commit introduces a series of markdown files documenting the
libsel4vmmplatsupport interface. These are generated out of the
interface comments, offering an alternative method to navigate and
read the libsel4vmmplatsupport documentation.