> As I understand from talking to Michal AAarch64 wouldn't allow for the emulator
> to work that way.

In this case he could have run the ARMv8/AArch64 CPUs in ARMv7/AArch32 mode, which almost all of them are compatible with.