resistor wrote: > These are a CHERIoT thing and should be named as such. I keep meaning to rip them out of CHERI LLVM as they only exist for the original MIPS-based compartmentalisation prototype. Done now. https://github.com/llvm/llvm-project/pull/156328