Nathaniel Wesley Filardo
Nathaniel Wesley Filardo
@tariqkurd-repo Yes, though I imagine they'll be replaced with load/stores still, since all the decoder logic is right there, but in principle...
Rebased atop main and #870. I don't think I lost any commits, but please check.
I'm happy to have `YTOPR` in the base, but `YBNDSRDW` is, in a sense, the more important of the Zycheriot instructions to have in the base ISA, since its operation...
> So maybe I'll change it to be a mini-extension. Having Zytopr seems fine to me. > Am I right in thinking that YBNDSRDW is tied to the encoding format...
In this sense, CHERIoT is much closer to University-CHERI-RISC-V than it is to Y/Zcheri. We still have the separate "SCR" namespace and `cspecialrw` instruction with some CSRs aliasing the addresses...
Belatedly, this is only a risk if aliases straddle address spaces or there is some other "leak" of a pointer around revocation. The _intended_ invariant of Cornucopia Reloaded is any...
This is... shockingly fundamental to `fuse-overlayfs`? Does it just not track open handles? It certainly looks like it doesn't, given the code at https://github.com/containers/fuse-overlayfs/blob/6452d53e83900678f1ead86400332cd7975a1395/main.c#L5409-L5419
@rmn30 points out, over on https://github.com/CHERIoT-Platform/cheriot-sail/issues/21, that CHERIoT requires `X` permission on whatever ends up in its equivalents of `mtvecc` and `mepcc`, so I think I'd like to amend my...
If we think Xcheriot's ``` ==== Reset Value The register's reset value is changed to be the root sealing capability value (with set {ctag}; recall ). ``` is OK as...
It would be good to have explicit extension points in the sail and a note in the prose, at least, _especially_ if the interaction with `SENTRY` is deliberate.