Can I run FreeBSD AArch64 binaries on CheriBSD?ΒΆ

Yes, AArch64 binaries compiled for FreeBSD will run on CheriBSD as hybrid executables. We have tested compiling C programs with clang on a FreeBSD 12 machine image, hosted on Amazon Web Services t4g instances which feature Graviton2 Arm processors. (These Graviton processors are architecturally very similar to the Neoverse base processor for Morello.)

The FreeBSD compiled code runs properly on CheriBSD on Morello.