CTSRD-CHERI / Toooba

RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT
Other
22 stars 7 forks source link

CHERI ISAv8 CapDirty fault priority fix #6

Closed nwf closed 3 years ago

nwf commented 3 years ago

Raise a store page fault if the PTE is missing R or W, even if the store is a cap store and the PTE is also missing CW, as per the sail spec.

jrtc27 commented 3 years ago

Indentation looks off but could be GitHub.

nwf commented 3 years ago

Sorry, was tabs not spaces.