> I wonder whether it is still correct to imply that Aarch64 is not
> comparable in performance. It does look even worse than x86_64 from
> transparency point of view, though.

Good point, I'll revise that.

> Do I understand correctly that none of rust-vmm versions support POWER9?

Correct (as far as I know).