I should point out that aarch64 is only there for the kernel and libsel4test --- there isn't yet a VMM for aarch64, nor any immediate plans to create one; also other library support is lacking at present.
Also, the code for aarch64 is not verified.
Fee free to submit patches if you can fill in any of the holes.
Peter C