fixup! src/cmd-run: load aarch64 "bios" for booting
Explain why -bios is needed
@@ -186,6 +186,7 @@ fi
set -- -drive if=virtio"${vm_drive_args:-}",file="${VM_DISK}" "$@"
+# There is no BIOS on aarch64, so we need a firmware to boot the system
if [ "$(arch)" == "aarch64" ]; then
set -- -bios /usr/share/AAVMF/AAVMF_CODE.fd "$@"
fi
