Skip to content

Commit

Permalink
fix notes
Browse files Browse the repository at this point in the history
  • Loading branch information
tariqkurd-repo committed Jan 15, 2025
1 parent 12bacce commit 42d50a7
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/cheri-pte-ext.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,9 @@ Additionally the {cheri_pte_ext_name} extension adds the ability to perform capa

NOTE: {cheri_pte_ext_name} is strongly recommended but not mandatory as a future version of this specification may specify an improved method.

NOTE: There is no explicit mechanism for enabling or disabling {cheri_pte_ext_name}. Its presence can be tested for by probing the existence of <<sstatusreg_pte,sstatus>>.UCRG.
NOTE: There is no explicit mechanism for enabling or disabling {cheri_pte_ext_name}.

NOTE: If software ignores the new PTE bits then there is no change in functionality unless capabilities are accessed.

NOTE: A future version of this specification may include kernel revocation which may require an <<sstatusreg_pte,sstatus>>.SCRG bit.

Expand Down

0 comments on commit 42d50a7

Please sign in to comment.