aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 6de2495..c3edd9f 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2122,8 +2122,8 @@ that a simple return from the trap handler will execute code after the
WFI instruction.
\end{commentary}
-The WFI instruction is just a hint, and a legal implementation is to
-implement WFI as a NOP.
+The purpose of the WFI instruction is to provide a hint to the implementation,
+and so a legal implementation is to simply implement WFI as a NOP.
\begin{commentary}
If the implementation does not stall the hart on execution of the