Hi,
Some time ago we drafted a specification[1] for AArch64 virtual
machines. Now we are launching verification tools that let everyone
verify that the whole stack (host hypervisor, guest firmware and guest
OS image) implements the spec:
https://github.com/linaro/vmspec-tools
For some extra background see the blog post on vmspec:
http://www.linaro.org/blog/core-dump/ensuring-bootable-arm-vm-images/
>From the cross-distro point of view, we are interested in finding out if
- QEMU shipped is new enough (2.6+)
- a compatible EFI for arm64 guests is available
- a vmspec compatible cloud guest image is available
If the image comes with cloud-init, vmspec-boot can be used directly
to verify compliance. Without cloud-init, one can run vmspec-verify
inside the guest to verify manually.
The tools are still under development, for example the ACPI test
returns a failure even if the guest would support ACPI if forced.
Feedback and patches are always welcome.
The README.md lists a handful of guest images that have been used in
testing. I'd be most happy to add more links to the list!
Riku
[1] http://www.linaro.org/app/resources/WhitePaper/VMSystemSpecificationForARM-…