Closed andresag01 closed 1 month ago
Add GCMODE instruction that decodes the mode from an arbitrary capability in an x register and writes the value to another x register.
GCMODE allows inspecting a capability's CHERI execution mode without the need for software to "manually" decode the capability's metadata using gchi.
gchi
Fixes #302.
Add GCMODE instruction that decodes the mode from an arbitrary capability in an x register and writes the value to another x register.
GCMODE allows inspecting a capability's CHERI execution mode without the need for software to "manually" decode the capability's metadata using
gchi
.Fixes #302.