@@ -140,7 +140,7 @@ \subsection{Unique Architectural Features}
140140 \item A new exception code is used to report CHERI-related
141141 exceptions.
142142 \item New PTE bits and page-fault exception code bits are defined for
143- loading and store capabilities in memory.
143+ loading and storing capabilities in memory.
144144 \item The \FSBASE {} and \GSBASE {} registers are extended as
145145 capabilities.
146146 \item As with CHERI-RISC-V, the \cflags {} field contains a single bit
@@ -253,8 +253,8 @@ \subsection{Capability Mode}
253253will raise a General Protection Fault with the error code set to the
254254target segment selector.
255255
256- In capability mode, instructions will use capabity -aware addressing
257- (Section~\ref {sec:x86:capabity -addressing }) by default. Some existing
256+ In capability mode, instructions will use capability -aware addressing
257+ (Section~\ref {sec:x86:capability -addressing }) by default. Some existing
258258opcodes will also assume a capability sized operand in this mode.
259259Finally, instructions which work with the stack would use \CSP {} as
260260the implicit stack pointer.
@@ -1401,7 +1401,7 @@ \subsection{Capability Mode}
14011401plain 64-bit mode or capability mode. By storing the mode in
14021402capability metadata protected by sealing, sealed code capabilities can
14031403only be used in the intended mode. Also, while it may be less
1404- flexible to permit the stack alignment to be chosen orthgonally to the
1404+ flexible to permit the stack alignment to be chosen orthogonally to the
14051405default instruction encoding mode, it does not seem useful in
14061406practice. Instead, capability mode is designed as a single knob to
14071407optimize pure capability code.
0 commit comments