Allowing CSeal to set otype to any value between 0 and 7 for EX capabilities

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA

Other

34 stars 9 forks source link

Allowing CSeal to set otype to any value between 0 and 7 for EX capabilities #68

Closed kliuMsft closed 2 months ago

kliuMsft commented 2 months ago

Previously we had otype 4 and 5 being reserved and CSeal can't seal to those types (will clear tag). With PR#54, 4 and 5 are now defined as backward sentries so it seems logical to allow CSeal to create those otypes.