Background: improved capabilities intro and CHERI overview
Background: improved Protecting Capabilities
Background: improved Pointer Indirection
Background: improved Object Capabilities and Multithreading