Skip to content

Commit 51bbc9e

Browse files
add note about exception handler
1 parent 42685e3 commit 51bbc9e

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/cheri-pte-ext.adoc

+2-1
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,8 @@ bit value of the capability read. This will introduce additional traps during re
162162

163163
^2^ The choice here follows the pattern of whether to implement the _Svade_ extension
164164
to take page-fault exceptions for A and D PTE bit state changes, or whether to implement
165-
a hardware updating mechanism.
165+
a hardware updating mechanism. Software should implement support for a page fault in these cases
166+
which will not be used if the hardware mechanism is implemented.
166167

167168
[#xstatus_pte]
168169
=== Extending the Supervisor (sstatus) and Virtual Supervisor (vsstatus) Status Registers

0 commit comments

Comments
 (0)