diff options
| author | Robert Norton | 2017-10-23 17:47:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-10-23 17:47:16 +0100 |
| commit | 99a7462a88a186faf817e21c065e25f04d30aea7 (patch) | |
| tree | cd25fda2124c4359f14614de8af62bafcb255b6c /mips/run_embed.ml | |
| parent | 7bd52dedf93ccaf4811307e12b8402fad6ab2312 (diff) | |
cheri: Null capability should have maximum length, because in cheri128 we want all offsets to be representable. To maintain all-zeros as the in-memory representation of the null capability we xor memory bits with null capability when loading and storing.
Diffstat (limited to 'mips/run_embed.ml')
0 files changed, 0 insertions, 0 deletions