Virtualisation platform using CHERI for isolation and sharing - View it on GitHub