CHERI-specific overlay for the FreeBSD ports collection - View it on GitHub