History log of /seL4-l4v-master/seL4/CAVEATS-ia32.md
Revision Date Author Comments
# c6bcf9e4 10-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

converted CAVEAT file content into .md

Adjusted headlines and comment syntax to markdown.
# 0ca696be 10-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

trivial: rename the CAVEAT files to .md