Supporting CHERI capabilities in GCC and glibc

There is work in progress on a Rust port to CHERI targeting Morello at the University of Kent. One interesting point is that Rust comes with some dynamic checking overheads (the slides below give a very rough number of 10%), some of these may be eliminated by using capabilities. Here's a set of slides from the recent CHERITech 22 event:

https://soft-dev.org/events/cheritech22/slides/Cooksey.pdf