Easily build and run CHERI related projects - View it on GitHub