Commit ad44eb77 authored by Robert Norton's avatar Robert Norton
Browse files

Prohibit modifying sealed capabilities by setting mepc etc. Similar to cheri-mips issue.

parent 215c2b31
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment