
\clearpage
\section{Supporting Sail Code}
\label{sec:appx:sail}

This section contains the supporting Sail code referenced by the
instruction descriptions throughout the specification.
The Sail Manual\footnote{\url{https://github.com/rems-project/sail/blob/sail2/manual.pdf}} is recommended reading in order to
best understand the supporting code.

\lstinputlisting[firstline=75,language=sail]{../extern/sail-riscv/model/riscv_types_kext.sail}

