Nathaniel Wesley Filardo

I _think_ the split is that unpriv includes... - the unprivileged mandatory dependency extensions (Zylevels1, Zyseal) - the prohibited coresident unprivileged extensions (Zys) - the CHERIoT capability compression/encoding scheme (including...

> I think the initial version should aim to be a direct mapping from v1, so keep AUIPCC and do not do the x0 things. Those changes can be later...

The intention is, for example, that `YSENTRY` can seal to different types for `X`-granting and non-`X`-granting capabilities. The [University CHERI-RISC-V sail](https://github.com/CTSRD-CHERI/sail-cheri-riscv/blob/bb07488dac8322fc4a653a01d049e16fa05c9065/src/cheri_cap_common.sail#L419-L420) and the [CHERIoT RISC-V sail](https://github.com/CHERIoT-Platform/cheriot-sail/blob/b9e7ab7dc9a3d13c045410c2431977237548d92f/src/cheri_cap_common.sail#L637-L638) have `sealCap` functions that...

> This attack would be prevented if a backward sentry cannot be stashed in the global memory and hence cannot be passed to other threads. FWIW, we (I) briefly implemented...

This is meant to be _supported_ by instantiations of the Zysentry extension of #716, though the current encoding in the appendix will not make use of the distinction. Please advise...

FWIW, I'm happy for CLoadTags to be an extension atop the Y base: - as said, CHERIoT doesn't use it, - doing it well places demands on the cache fabric...

Running `./bootstrap.sh` on 5d15a42a makes changes to `./configure`. I've pulled those out to a commit prior to my change, and then ran `./bootstrap.sh` again after `AC_PATH_TOOL`-ization of `nm` as a...