diff options
| author | Robert Norton | 2016-04-18 17:06:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 17:08:18 +0100 |
| commit | 17c0928bb75dc44378e85351ac09bd2f3ac93774 (patch) | |
| tree | b600eda0284611936a93aa87fea9b9e73f667508 /src/initial_check.mli | |
| parent | e35f87c06f2bd3a96bc7df23fe541c96c28d3eab (diff) | |
cheri: add support for ll/sc of data via capability instructions.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions