The QEMU emulator with CHERI CPU support.