Skip to content

Commit

Permalink
Fix typo in cheri-tags
Browse files Browse the repository at this point in the history
  • Loading branch information
nwf committed Jul 19, 2024
1 parent f89aaf1 commit 3780781
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/exercises/cheri-tags/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ things!
What stands out?

5. Given that `q` and `r` appear to have identical byte representation in
memory, why does the CHERI version crash when dereferencing `q`?
memory, why does the CHERI version crash when dereferencing `r`?

## Source

Expand Down
2 changes: 1 addition & 1 deletion src/exercises/cheri-tags/answers.md
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@
combination of the old capability (in `ca0`) and the new address (in `a1`)
remains *representable*.

5. While the in-memory, byte representation of `q` and `r` are identical, `q`
5. While the in-memory, byte representation of `q` and `r` are identical, `r`
has been manipulated as *bytes* rather than as a *capability* and so has had
its tag zeroed. (Specifically, the `csb zero, 32(csp)` instruction cleared
the tag associated with the 16-byte granule pointed to by `32(csp)`; the
Expand Down

0 comments on commit 3780781

Please sign in to comment.