3 ms·Cheri C/C++ Programming Guide: Capability Hardware Enhanced RISC Instructions [pdf]2 points by cperciva 6y ago