A library of specific implementations of cheri and providing an abstract interface to those implementations - View it on GitHub