ukvm (and Solo5) is currently x86 specific. It would be great if they ran on ARM as well. I believe most of the mirageOS components already work with ARM. A couple of discussion points:

• how architecture independent can we make the solo5 code (e.g., by pushing hw-specific setup out of the kernel and into ukvm)
• how should the ukvm code be arranged to cleanly support multiple platforms (e.g., KVM/Linux, Hypervisor.framework/MacOSx, vmmapi.h/FreeBSD?) and multiple architectures (e.g., x86, ARM) at the same time?