See the references I just posted, crossing with that, for CHERI-RISC-V if others are interested.