Skip to content

Commit

Permalink
Fix references to exception-throwing RISC-V in x86 chapter
Browse files Browse the repository at this point in the history
  • Loading branch information
PeterRugg committed Dec 21, 2022
1 parent 49eaa35 commit 599a187
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chap-cheri-x86-64.tex
Original file line number Diff line number Diff line change
Expand Up @@ -769,8 +769,8 @@ \subsubsection{Capability-Inspection Instructions}
\subsubsection{Capability-Modification Instructions}

If these instructions fail, they should clear the tag in the resulting
capability similar to Morello rather than raising an exception as is
done for CHERI-RISC-V.
capability similar to Morello and CHERI-RISC-V rather than raising an
exception.

\begin{itemize}
\item \insnref{CSeal} r/mc, rc
Expand Down Expand Up @@ -1088,7 +1088,7 @@ \subsection{Capability Violation Faults}
implement.
\end{enumerate}

Unlike CHERI-RISC-V, we recommend that CHERI-x86-64
Like Morello and CHERI-RISC-V, we recommend that CHERI-x86-64
only raise capability violation faults when a invalid memory access is
performed such as an out-of-bounds access or access via an untagged
capability. Specifically, we recommend that instructions which modify
Expand Down

0 comments on commit 599a187

Please sign in to comment.